Michael Meincke Arentoft

Publication Activity (10 Years)

Years Active: 1989-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)