2. B 1998:
Montpellier,
France
Didier Bert (Ed.):
B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings.
Lecture Notes in Computer Science 1393 Springer 1998, ISBN 3-540-64405-9 BibTeX
@proceedings{DBLP:conf/b/1998,
editor = {Didier Bert},
title = {B'98: Recent Advances in the Development and Use of the B Method,
Second International B Conference, Montpellier, France, April
22-24, 1998, Proceedings},
booktitle = {B},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1393},
year = {1998},
isbn = {3-540-64405-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lectures
Theoretical Issues on B
B Extension Proposals
Methodological Issues
Design of Distributed Systems
Case Studies and Industrial Applications
Copyright © Sat May 16 22:59:17 2009
by Michael Ley (ley@uni-trier.de)