eds.), Program Development by Refinement: Case (1998)

by E Sekerinski, K Sere
Venue:Studies Using the B Method, Springer-Verlag, Formal Approaches to Computing and Information Technology Series