Specware TM : Formal Support for Composing Software (1995)

by Y V Srinivas, R Jullig
Venue:in Proceedings of the Conference of Mathematics of Program Construction. MICHAEL JOHN HEALY AND THOMAS PRESTON CAUDELL Stoltenberg-Hansen