%0 Conference Paper %1 conf/fm/ZeydaSCS14 %A Zeyda, Frank %A Santos, Thiago L. V. L. %A Cavalcanti, Ana %A Sampaio, Augusto %B FM %D 2014 %E Jones, Cliff B. %E Pihlajasaari, Pekka %E Sun, Jun %I Springer %K %P 627-642 %T A Modular Theory of Object Orientation in Higher-Order UTP. %U http://dblp.uni-trier.de/db/conf/fm/fm2014.html#ZeydaSCS14 %V 8442 %@ 978-3-319-06409-3

@inproceedings{conf/fm/ZeydaSCS14, added-at = {2023-12-13T07:07:10.000+0100}, author = {Zeyda, Frank and Santos, Thiago L. V. L. and Cavalcanti, Ana and Sampaio, Augusto}, biburl = {https://www.bibsonomy.org/bibtex/270946c1235b74a8c892711f83c690207/admin}, booktitle = {FM}, crossref = {conf/fm/2014}, editor = {Jones, Cliff B. and Pihlajasaari, Pekka and Sun, Jun}, ee = {https://doi.org/10.1007/978-3-319-06410-9_42}, interhash = {b557d83677e51f0084d64b7570b477df}, intrahash = {70946c1235b74a8c892711f83c690207}, isbn = {978-3-319-06409-3}, keywords = {}, pages = {627-642}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:07:10.000+0100}, title = {A Modular Theory of Object Orientation in Higher-Order UTP.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2014.html#ZeydaSCS14}, volume = 8442, year = 2014 }