Collaborated with:
P.Bailes M.Chapman I.Peake
Talks about:
specif (1) extend (1) execut (1) refin (1) more (1) grit (1)
Person: Ming Gong
DBLP: Gong:Ming
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.