International B Conference (7th 2007 Besançon, France)

Identifiers

Open LibraryOL5220383A

Top Subjects

B method (Computer science) -- Congresses (1)
Debugging in computer science -- Congresses (1)

Books by International B Conference (7th 2007 Besançon, France)

Total count: 1

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

Springer2006-01-01