Proof-Transforming Compilation of Eiffel Programs

Objects, Components, Models and Patterns - Lecture Notes in Business Information Processing ◽

10.1007/978-3-540-69824-1_18 ◽

2008 ◽

pp. 316-335 ◽

Cited By ~ 6

Author(s):

Martin Nordio ◽

Peter Müller ◽

Bertrand Meyer

Download Full-text