Travelled to:1 × France
Collaborated with:B.H.C.Cheng
Talks about:incomplet (1) automat (1) analysi (1) symbol (1) requir (1) detect (1)
Person: Byron DeVries
DBLP: DeVries:Byron
Contributed to:
Wrote 1 papers:
- MoDELS-2016-DeVriesC #analysis #automation #detection #requirements
- Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.












