Adolfo Duran, Ana Cavalcanti, Augusto Sampaio
A Strategy for Compiling Classes, Inheritance, and Dynamic Binding
FM, 2003.
@inproceedings{FME-2003-DuranCS, author = "Adolfo Duran and Ana Cavalcanti and Augusto Sampaio", booktitle = "{Proceedings of the 12th International Symposium of Formal Methods Europe}", doi = "10.1007/978-3-540-45236-2_18", isbn = "3-540-40828-2", pages = "301--320", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Strategy for Compiling Classes, Inheritance, and Dynamic Binding}", volume = 2805, year = 2003, }