Context

Context of B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings, Jacques Julliand, Olga Kouchnarenko (eds.), (electronic book)
Processing Feedback ...