%0 Conference Paper %1 conf/plpv/GesellS12 %A Gesell, Manuel %A Schneider, Klaus %B PLPV %D 2012 %E Claessen, Koen %E Swamy, Nikhil %I ACM %K dblp %P 37-48 %T A hoare calculus for the verification of synchronous languages. %U http://dblp.uni-trier.de/db/conf/plpv/plpv2012.html#GesellS12 %@ 978-1-4503-1125-0

@inproceedings{conf/plpv/GesellS12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gesell, Manuel and Schneider, Klaus}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2af17d7a7666aaefd40303683e80174cd/dblp}, booktitle = {PLPV}, crossref = {conf/plpv/2012}, editor = {Claessen, Koen and Swamy, Nikhil}, ee = {https://doi.org/10.1145/2103776.2103782}, interhash = {b58c4985d0b213cf2d6ade5cda0230ef}, intrahash = {af17d7a7666aaefd40303683e80174cd}, isbn = {978-1-4503-1125-0}, keywords = {dblp}, pages = {37-48}, publisher = {ACM}, timestamp = {2019-09-27T19:03:16.000+0200}, title = {A hoare calculus for the verification of synchronous languages.}, url = {http://dblp.uni-trier.de/db/conf/plpv/plpv2012.html#GesellS12}, year = 2012 }