Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk. Real Time Formal Specification using VDM++. In Paulo César Masiero, José Carlos Maldonado, editors, Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996. pages 57-72, SBC, 1996. [doi]
Abstract is missing.