T. Mens, K. Mens, and P. Steyaert. Proc. Int'l Conf. Formal Methods Europe (FME), volume 873 of Lecture Notes in Computer Science, page 326--345. Springer-Verlag, (1994)
%0 Conference Paper
%1 Mens&al1994a
%A Mens, Tom
%A Mens, Kim
%A Steyaert, Patrick
%B Proc. Int'l Conf. Formal Methods Europe (FME)
%D 1994
%I Springer-Verlag
%K imported
%P 326--345
%T OPUS: a Formal Approach to Object-orientation
%V 873
@inproceedings{Mens&al1994a,
added-at = {2007-09-25T21:44:52.000+0200},
author = {Mens, Tom and Mens, Kim and Steyaert, Patrick},
biburl = {https://www.bibsonomy.org/bibtex/260efadbdef09fca5db494a58b288c647/tommens},
booktitle = {Proc. Int'l Conf. Formal Methods Europe (FME)},
description = {software evolution bibliography},
interhash = {b47813df1f46cf5a58a1b5a36fdd89a9},
intrahash = {60efadbdef09fca5db494a58b288c647},
keywords = {imported},
pages = {326--345},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
timestamp = {2007-09-25T21:45:25.000+0200},
title = {OPUS: a Formal Approach to Object-orientation},
volume = 873,
year = 1994
}