A PVS based tool for developing programs in the refinement calculus (1996)

by J Knappmann
Venue:Inproceedings of the 4th Hybrid Systems Computation and Control (HSCC 2001