Bicarregui et al. Formal methods in practice: Case studies (1997)

by J C
Venue:in the application of the B method. IEE Proceedings — Software Engineering