--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on December 2011 ---
> Asma Tafat, Sylvain Boulm?, and Claude March?. A refinement methodology > for object-oriented programs. In Bernhard Beckert and Claude March?, > editors, Formal Verification of Object-Oriented Software, Revised > Selected Papers Presented at the International Conference, FoVeOOS 2010, > volume 6528 of Lecture Notes in Computer Science, pages 153-167. > Springer, January 2011. See also http://hal.inria.fr/inria-00491835/en/ - Claude