1. B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings Author/Creator: International B Conference Besançon, France) 2007 : (7th Publication/Creation: Berlin ; New York : Springer, [2006] Resource Type: Book Access & Availability: Loading
2. B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings Author/Creator: International B Conference Besançon, France) 2007 : (7th Publication/Creation: Berlin ; New York : Springer, [2006] Resource Type: Book Access & Availability: Loading