Travelled to:
1 × USA
Collaborated with:
L.H.Rosenberg L.E.Hyatt
Talks about:
analysi (1) specif (1) requir (1) autom (1)
Person: William M. Wilson
DBLP: Wilson:William_M=
Contributed to:
Wrote 1 papers:
- ICSE-1997-WilsonRH #analysis #automation #specification
- Automated Analysis of Requirement Specifications (WMW, LHR, LEH), pp. 161–171.