TY  - BOOK
AU  - Bert,Didier
ED  - SpringerLink (Online service)
TI  - B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783540697695
AV  - QA76.758 
U1  - 005.1 23
PY  - 1998///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Logic design
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
N2  - This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998. The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other formal methods for software development
UR  - http://dx.doi.org/10.1007/BFb0053349
ER  -