"B'98: Recent Advances in the Development and Use of the B Method, Second ..."

Didier Bert (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics