Multiple Viewpoint Contract-Based Specification and Design

Formal Methods for Components and Objects - Lecture Notes in Computer Science ◽

10.1007/978-3-540-92188-2_9 ◽

2008 ◽

pp. 200-225 ◽

Cited By ~ 86

Author(s):

Albert Benveniste ◽

Benoît Caillaud ◽

Alberto Ferrari ◽

Leonardo Mangeruca ◽

Roberto Passerone ◽

...