Michael Meincke Arentoft
According to our database1,
Michael Meincke Arentoft
authored at least 1 paper
in 1989.
Collaborative distances:
Collaborative distances:
Timeline
1989
0
1
2
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