JBTools: an experimental platform for the formal B method.

Tue, 01 Jan 2002 00:00:00 +0100

Jean-Christophe Voisinet:
JBTools: an experimental platform for the formal B method. PPPJ/IRE 2002: 137-139