Opening book details…
About this scholarly article
B’98: Recent Advances in the Development and Use of the B Method Volume 1393 by Bert, Didier is a scholarly article available to read on EtoBox.
- Author
- Bert, Didier
- Publisher
- Springer Berlin Heidelberg
- Published
- 1998
- Language
- EN