Software Development by Refinement (2003)

by D Pavlovic, D R Smith
Venue:in Formal Methods at the Crossroads: From Panacea to Foundational Support, UNU/IIST 10th Anniversary B. Aichernig and T. Maibaum, eds., LNCS 2757