Travelled to:
1 × The Netherlands
Collaborated with:
V.Doma
Talks about:
prototyp (1) automat (1) system (1) specif (1)
Person: Robin A. Nicholl
DBLP: Nicholl:Robin_A=
Contributed to:
Wrote 2 papers:
- VDME-1991-DomaN #automation #named #prototype #specification
- EZ: A System for Automatic Prototyping of Z Specifications (VD, RAN), pp. 189–203.