Synthesizing B Specifications from eb 3 Attribute Definitions

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/11589976_13 ◽

2005 ◽

pp. 207-226 ◽

Cited By ~ 11

Author(s):

Frédéric Gervais ◽

Marc Frappier ◽

Régine Laleau

Download Full-text