Brian Q. Monahan
According to our database1,
Brian Q. Monahan
authored at least 2 papers
between 1987 and 1989.
Collaborative distances:
Collaborative distances:
Timeline
1987
1988
1989
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1989
Towards a Formal Semantics of the BS/VDM Specification Language.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987