Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert. Formal specification and validation at work: a case study using VDM-SL. In Mark A. Ardis, Joanne M. Atlee, editors, Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. pages 78-84, ACM, 1998. [doi]
Abstract is missing.