%0 Conference Paper %1 conf/fm/MensMS94 %A Mens, Tom %A Mens, Kim %A Steyaert, Patrick %B FME %D 1994 %E Naftalin, Maurice %E Denvir, B. Tim %E Bertran, Miquel %I Springer %K dblp %P 326-345 %T OPUS: a Formal Approach to Object-Orientation. %U http://dblp.uni-trier.de/db/conf/fm/fme1994.html#MensMS94 %V 873 %@ 3-540-58555-9

@inproceedings{conf/fm/MensMS94, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mens, Tom and Mens, Kim and Steyaert, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2ac3fbb172529bdbb82914df959f229ab/dblp}, booktitle = {FME}, crossref = {conf/fm/1994}, editor = {Naftalin, Maurice and Denvir, B. Tim and Bertran, Miquel}, ee = {https://doi.org/10.1007/3-540-58555-9_103}, interhash = {b47813df1f46cf5a58a1b5a36fdd89a9}, intrahash = {ac3fbb172529bdbb82914df959f229ab}, isbn = {3-540-58555-9}, keywords = {dblp}, pages = {326-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:27:22.000+0200}, title = {OPUS: a Formal Approach to Object-Orientation.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1994.html#MensMS94}, volume = 873, year = 1994 }