B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings
Bert, Didier Bert, Didier
Berlin, Heidelberg: Springer Berlin Heidelberg 1998
Texto completo disponível