B 2007

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

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

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2006

Publisher

Springer

Language

eng

Pages

292

1-1 of 1 Editions

B 2007

Language: eng

Pages: 292

Published In: 2006

Publisher: Springer