Peter A. Lindsay, David Hemer. An Industrial-Strength Method For The Construction Of Formally Verified Software. In 1996 Australian Software Engineering Conference (ASWEC 96), July 14-18, 1996, Melbourne, Australia. pages 27, IEEE Computer Society, 1996. [doi]
Abstract is missing.