%0 Conference Paper %1 findler01behavioral %A Findler, Robert %A Latendresse, Mario %A Felleisen, Matthias %B Proceedings of 9th ACM Symposium on Foundations of Software Engineering (ESEC/FSE 2001) %D 2001 %E Gruhn, Volker %I ACM Press %K semantics %P 229--236 %T Behavioral Contracts and Behavioral Subtyping

@inproceedings{findler01behavioral, added-at = {2011-12-16T09:34:03.000+0100}, author = {Findler, Robert and Latendresse, Mario and Felleisen, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2878c980ed9b5e40ca2e67ec9988aa5e5/pbrada}, booktitle = {Proceedings of 9th {ACM} Symposium on Foundations of Software Engineering (ESEC/FSE 2001)}, editor = {Gruhn, Volker}, groups = {public}, interhash = {9c862941fcfbbb3695d6a87a8e2165f7}, intrahash = {878c980ed9b5e40ca2e67ec9988aa5e5}, keywords = {semantics}, month = {September}, pages = {229--236}, publisher = {ACM Press}, timestamp = {2011-12-16T09:34:03.000+0100}, title = {Behavioral Contracts and Behavioral Subtyping}, username = {pbrada}, year = 2001 }