Travelled to:
1 × USA
Collaborated with:
S.Salamah M.D.Buono E.Baily S.Printy D.Ferris
Talks about:
techniqu (1) properti (1) specif (1) enhanc (1) valid (1) tool (1)
Person: Laurel Christian
DBLP: Christian:Laurel
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.