Travelled to:
1 × USA
Collaborated with:
S.Salamah M.D.Buono E.Baily D.Ferris L.Christian
Talks about:
techniqu (1) properti (1) specif (1) enhanc (1) valid (1) tool (1)
Person: Sarah Printy
DBLP: Printy:Sarah
Contributed to:
Wrote 1 papers:
- SEKE-2009-SalamahBBPFC #specification #tool support #validation
- Enhancing Property Specification Tools With Validation Techniques (SS, MDB, EB, SP, DF, LC), pp. 487–492.