A Mechanized Model of the Theory of Objects

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-72952-5_12 ◽

2007 ◽

pp. 190-205 ◽

Author(s):

Ludovic Henrio ◽

Florian Kammüller

Download Full-text