Brian Q. Monahan

	1989
2		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
	1987
1		Brian Q. Monahan: A Type Model for VDM. VDM Europe 1987: 210-236

Coauthor Index

1	Michael Meincke Arentoft	[2]
2	Stephen Bear	[2]
3	Peter Gorm Larsen	[2]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page