Brian Q. Monahan

According to our database, Brian Q. Monahan authored at least 2 papers between 1987 and 1989.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1989

Towards a Formal Semantics of the BS/VDM Specification Language.

Peter Gorm Larsen, Michael Meincke Arentoft, Brian Q. Monahan, Stephen Bear

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1987

A Type Model for VDM.

Brian Q. Monahan

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987