Veronika Doma

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

Veronika Doma, Robin A. Nicholl
EZ: A System for Automatic Prototyping of Z Specifications. VDM Europe (1) (1991)