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, edited by Jacques Julliand, Olga Kouchnarenko, (electronic resource)
Processing Feedback ...