B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings /

Bibliographic Details
Corporate Author:	International B Conference Besançon, France
Other Authors:	Julliand, Jacques, Kouchnarenko, Olga
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science ; 4355.
Subjects:	B method (Computer science) > Congresses. Debugging in computer science > Congresses.

Remote Storage