@inproceedings{DBLP:conf/birthday/JamrogaRSSS21,
author = {Wojciech Jamroga and
Peter Y. A. Ryan and
Steve Schneider and
Carsten Sch{\"{u}}rmann and
Philip B. Stark},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {A Declaration of Software Independence},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {198--217},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_11},
doi = {10.1007/978-3-030-91631-2\_11},
timestamp = {Mon, 05 Feb 2024 20:33:13 +0100},
biburl = {https://dblp.org/rec/conf/birthday/JamrogaRSSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
