%0 Conference Paper %1 deroever85quest %A de Roever, William P. %B Proceedings of IFIP Working Conference on the Role of Abstract Models in Computer Science %D 1985 %I Elsevier Science B.V. %K compositionality proof %T The quest for compositionality

@inproceedings{deroever85quest, added-at = {2011-12-16T09:31:57.000+0100}, author = {de Roever, William P.}, biburl = {https://www.bibsonomy.org/bibtex/2bccf40bc4ecfc95e489e0982ea0b8dde/pbrada}, booktitle = {Proceedings of {IFIP} Working Conference on the Role of Abstract Models in Computer Science}, groups = {public}, interhash = {f4be196feedc76685caca557df4f7b47}, intrahash = {bccf40bc4ecfc95e489e0982ea0b8dde}, keywords = {compositionality proof}, publisher = {Elsevier Science B.V.}, timestamp = {2011-12-16T09:31:57.000+0100}, title = {The quest for compositionality}, username = {pbrada}, year = 1985 }