Reference: B. K. Aichernig and P. G. Larsen.
A proof obligation generator for VDM-SL.
In J. Fitzgerald, C. Jones, and P. Lucas, editors, FME'97: Industrial
Applications and Strengthened Foundations of Formal Methods, volume 1313 of
Lecture Notes in Computer Science, 1997.
www-data,
2020-09-10