%0 Conference Paper %1 conf/vstte/TschannenFNM13 %A Tschannen, Julian %A Furia, Carlo A. %A Nordio, Martin %A Meyer, Bertrand %B VSTTE %D 2013 %E Cohen, Ernie %E Rybalchenko, Andrey %I Springer %K dblp %P 149-169 %T Program Checking with Less Hassle. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#TschannenFNM13 %V 8164 %@ 978-3-642-54107-0

@inproceedings{conf/vstte/TschannenFNM13, added-at = {2017-10-30T00:00:00.000+0100}, author = {Tschannen, Julian and Furia, Carlo A. and Nordio, Martin and Meyer, Bertrand}, biburl = {https://www.bibsonomy.org/bibtex/27afa59ff3f77c7c237e1b306333c9fdc/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2013}, editor = {Cohen, Ernie and Rybalchenko, Andrey}, ee = {https://doi.org/10.1007/978-3-642-54108-7_8}, interhash = {d15f165d621e0a62e752c3a646634ae8}, intrahash = {7afa59ff3f77c7c237e1b306333c9fdc}, isbn = {978-3-642-54107-0}, keywords = {dblp}, pages = {149-169}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:25:10.000+0200}, title = {Program Checking with Less Hassle.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2013.html#TschannenFNM13}, volume = 8164, year = 2013 }