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