Travelled to:1 × United Kingdom
Collaborated with:∅
Talks about:strategi (1) program (1) languag (1) develop (1) analysi (1) specif (1) rigor (1) malpa (1) tool (1) use (1)
Person: R. N. Shutt
DBLP: Shutt:R=_N=
Contributed to:
1989Wrote 1 papers:
- ESEC-1989-Shutt #development #program analysis #specification #tool support #using
- A Rigorous Development Strategy Using the OBJ Specification Language and the MALPAS Program Analysis Tools (RNS), pp. 260–291.