%0 Conference Paper %1 conf/isola/GurovHK20 %A Gurov, Dilian %A Hähnle, Reiner %A Kamburjan, Eduard %B ISoLA (1) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 3-21 %T Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-1.html#GurovHK20 %V 12476 %@ 978-3-030-61362-4

@inproceedings{conf/isola/GurovHK20, added-at = {2022-01-03T00:00:00.000+0100}, author = {Gurov, Dilian and Hähnle, Reiner and Kamburjan, Eduard}, biburl = {https://www.bibsonomy.org/bibtex/2a25073bdb5526c1730bc1c83cabf3f27/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2020-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-61362-4_1}, interhash = {4f72ff6f78d4b46efce73b0650a18bb6}, intrahash = {a25073bdb5526c1730bc1c83cabf3f27}, isbn = {978-3-030-61362-4}, keywords = {dblp}, pages = {3-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:58:37.000+0200}, title = {Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-1.html#GurovHK20}, volume = 12476, year = 2020 }