Travelled to:1 × United Kingdom
Collaborated with:J.M.Hart
Talks about:precondit (1) weakest (1) program (1) slice (1) use (1)
Person: Joseph J. Comuzzi
DBLP: Comuzzi:Joseph_J=
Contributed to:
Wrote 1 papers:
- FME-1996-ComuzziH #slicing #using
- Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.












