Collaborated with:
P.Bailes M.Gong I.Peake
Talks about:
specif (1) extend (1) execut (1) refin (1) more (1) grit (1)
Person: Murrsy Chapman
DBLP: Chapman:Murrsy
Contributed to:
Wrote 1 papers:
- KBSE-1993-BailesCGP #execution #named #specification
- GRIT — An Extended Refine for More Executable Specifications (PB, MC, MG, IP), p. 19.