author : Jean-Marc Meynadier

Short works

• Meteor: A Successful Application of B in a Large Project. 1999. (In FM'99 volume 1 )