Brian Q. Monahan

Publication Activity (10 Years)

Years Active: 1987-1989
Publications (10 Years): 0

Publications

Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear
Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress (1989)
Brian Q. Monahan
A Type Model for VDM. VDM Europe (1987)