%0 Conference Paper %1 conf/isola/WoodcockFB16 %A Woodcock, Jim %A Foster, Simon %A Butterfield, Andrew %B ISoLA (1) %D 2016 %E Margaria, Tiziana %E Steffen, Bernhard %K dblp %P 374-394 %T Heterogeneous Semantics and Unifying Theories. %U http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#WoodcockFB16 %V 9952 %@ 978-3-319-47165-5

@inproceedings{conf/isola/WoodcockFB16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Woodcock, Jim and Foster, Simon and Butterfield, Andrew}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f355467216cb8a8764269818a382fcac/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2016-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-47166-2_26}, interhash = {34e9682a5ae59c4185e9ff03fb5fa8a3}, intrahash = {f355467216cb8a8764269818a382fcac}, isbn = {978-3-319-47165-5}, keywords = {dblp}, pages = {374-394}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:48:13.000+0200}, title = {Heterogeneous Semantics and Unifying Theories.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#WoodcockFB16}, volume = 9952, year = 2016 }