Metavariables and Conditional Refinements in the Refinement Calculus (1994)

by Raymond G. Nickson , Lindsay J. Groves
Venue:Proceedings of the 6th Refinement Workshop
Citations:6 - 2 self