%0 Conference Paper %1 conf/ds/FiadeiroSMS90 %A Fiadeiro, José Luiz %A Sernadas, Cristina %A Maibaum, T. S. E. %A Saake, Gunter %B DS-4 %D 1990 %E Meersman, Robert %E Kent, William %E Khosla, Samit %I North-Holland %K %P 243-284 %T Proof-Theoretic Semantics of Object-Oriented Specification Constructs. %U http://dblp.uni-trier.de/db/conf/ds/ds90.html#FiadeiroSMS90 %@ 0-444-88929-9

@inproceedings{conf/ds/FiadeiroSMS90, added-at = {2023-12-12T19:39:39.000+0100}, author = {Fiadeiro, José Luiz and Sernadas, Cristina and Maibaum, T. S. E. and Saake, Gunter}, biburl = {https://www.bibsonomy.org/bibtex/217f049d01206effa20fe966562bb641d/admin}, booktitle = {DS-4}, crossref = {conf/ds/90}, editor = {Meersman, Robert and Kent, William and Khosla, Samit}, interhash = {241e1663bb36166b3c8ea736420bda0e}, intrahash = {17f049d01206effa20fe966562bb641d}, isbn = {0-444-88929-9}, keywords = {}, pages = {243-284}, publisher = {North-Holland}, timestamp = {2023-12-12T19:39:39.000+0100}, title = {Proof-Theoretic Semantics of Object-Oriented Specification Constructs.}, url = {http://dblp.uni-trier.de/db/conf/ds/ds90.html#FiadeiroSMS90}, year = 1990 }