%0 Conference Paper %1 conf/birthday/JamrogaRSSS21 %A Jamroga, Wojciech %A Ryan, Peter Y. A. %A Schneider, Steve %A Schürmann, Carsten %A Stark, Philip B. %B Protocols, Strands, and Logic %D 2021 %E Dougherty, Daniel %E Meseguer, José %E Mödersheim, Sebastian Alexander %E Rowe, Paul D. %I Springer %K dblp %P 198-217 %T A Declaration of Software Independence. %U http://dblp.uni-trier.de/db/conf/birthday/guttman2021.html#JamrogaRSSS21 %V 13066 %@ 978-3-030-91631-2

@inproceedings{conf/birthday/JamrogaRSSS21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Jamroga, Wojciech and Ryan, Peter Y. A. and Schneider, Steve and Schürmann, Carsten and Stark, Philip B.}, biburl = {https://www.bibsonomy.org/bibtex/29ce3210f76e6d55029c642b54f9aae5c/dblp}, booktitle = {Protocols, Strands, and Logic}, crossref = {conf/birthday/2021guttman}, editor = {Dougherty, Daniel and Meseguer, José and Mödersheim, Sebastian Alexander and Rowe, Paul D.}, ee = {https://doi.org/10.1007/978-3-030-91631-2_11}, interhash = {f36e602b11b2ac82d1a979d1af6cbd0f}, intrahash = {9ce3210f76e6d55029c642b54f9aae5c}, isbn = {978-3-030-91631-2}, keywords = {dblp}, pages = {198-217}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:55.000+0200}, title = {A Declaration of Software Independence.}, url = {http://dblp.uni-trier.de/db/conf/birthday/guttman2021.html#JamrogaRSSS21}, volume = 13066, year = 2021 }