Michael Meincke Arentoft

	1989
1		Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear: Towards a Formal Semantics of the BS/VDM Specification Language. IFIP Congress 1989: 95-100

Coauthor Index

1	Stephen Bear	[1]
2	Peter Gorm Larsen	[1]
3	Brian Q. Monahan	[1]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page