Michael Meincke Arentoft

According to our database, Michael Meincke Arentoft authored at least 1 paper in 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