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

by J Knappman
Venue:Master's thesis, Inst. of Comp. Sci. & Appl. Math., Christian-AlbrechtsUniv. of