Collaborated with:
E.A.Kazmierczak
Talks about:
program (1) modular (1) develop (1) prolog (1) formal (1) studi (1) case (1)
Person: M. G. Read
DBLP: Read:M=_G=
Contributed to:
Wrote 1 papers:
- LOPSTR-1991-ReadK #case study #composition #development #prolog
- Formal Program Development in Modular Prolog: A Case Study (MGR, EAK), pp. 69–93.