%0 Conference Paper %1 conf/isola/AhrendtGJR22 %A Ahrendt, Wolfgang %A Gurov, Dilian %A Johansson, Moa %A Rümmer, Philipp %B ISoLA (1) %D 2022 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 174-187 %T TriCo - Triple Co-piloting of Implementation, Specification and Tests. %U http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#AhrendtGJR22 %V 13701 %@ 978-3-031-19849-6

@inproceedings{conf/isola/AhrendtGJR22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Ahrendt, Wolfgang and Gurov, Dilian and Johansson, Moa and Rümmer, Philipp}, biburl = {https://www.bibsonomy.org/bibtex/2dcf642b6a386cd7035e14d2149b97f9f/dblp}, booktitle = {ISoLA (1)}, crossref = {conf/isola/2022-1}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-031-19849-6_11}, interhash = {44d5a899dc453c9805d48c454b69d4c8}, intrahash = {dcf642b6a386cd7035e14d2149b97f9f}, isbn = {978-3-031-19849-6}, keywords = {dblp}, pages = {174-187}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:11:52.000+0200}, title = {TriCo - Triple Co-piloting of Implementation, Specification and Tests.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2022-1.html#AhrendtGJR22}, volume = 13701, year = 2022 }