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.