Adding specification constructs to the refinement calculus (1993)

by N Ward
Venue:In FME'93, volume LNCS 670