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
 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.












