%0 Conference Paper %1 837489 %A Evans, Andy S. %B WIFT '98: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques %C Washington, DC, USA %D 1998 %I IEEE Computer Society %K class diagram reasoning uml %P 102 %T Reasoning with UML Class Diagrams %@ 0-7695-0081-1

@inproceedings{837489, added-at = {2007-04-16T16:30:19.000+0200}, address = {Washington, DC, USA}, author = {Evans, Andy S.}, biburl = {https://www.bibsonomy.org/bibtex/232cad64aa77bd269d0203e1afa7f9790/fparreiras}, booktitle = {WIFT '98: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques}, interhash = {aabf5e6480dbcf75bf13960ae80812af}, intrahash = {32cad64aa77bd269d0203e1afa7f9790}, isbn = {0-7695-0081-1}, keywords = {class diagram reasoning uml}, pages = 102, publisher = {IEEE Computer Society}, timestamp = {2007-04-16T16:30:19.000+0200}, title = {Reasoning with UML Class Diagrams}, year = 1998 }