Collaborated with:
M.G.Read
Talks about:
program (1) modular (1) develop (1) prolog (1) formal (1) studi (1) case (1)
Person: E. A. Kazmierczak
DBLP: Kazmierczak:E=_A=
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.