Jeremy Dick, Jérôme Loubersac
The Visual Presentation of VDM Specifications
FM, 1991.
@inproceedings{VDME-1991-DickL, author = "Jeremy Dick and Jérôme Loubersac", booktitle = "{Proceedings of the Fourth International Symposium on Vienna Development Method: Formal Software Development. Volume 1: Conference Contributions}", doi = "10.1007/3-540-54834-3_42", isbn = "3-540-54834-3", pages = "670--671", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{The Visual Presentation of VDM Specifications}", volume = 551, year = 1991, }