%0 Conference Paper %1 conf/tacas/ErnstHMU19 %A Ernst, Gidon %A Huisman, Marieke %A Mostowski, Wojciech %A Ulbrich, Mattias %B TACAS (3) %D 2019 %E Beyer, Dirk %E Huisman, Marieke %E Kordon, Fabrice %E Steffen, Bernhard %I Springer %K dblp %P 176-195 %T VerifyThis - Verification Competition with a Human Factor. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#ErnstHMU19 %V 11429 %@ 978-3-030-17502-3

@inproceedings{conf/tacas/ErnstHMU19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Ernst, Gidon and Huisman, Marieke and Mostowski, Wojciech and Ulbrich, Mattias}, biburl = {https://www.bibsonomy.org/bibtex/28017b12e5a2f0e3aa083181a8f39bcc9/dblp}, booktitle = {TACAS (3)}, crossref = {conf/tacas/2019-3}, editor = {Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-17502-3_12}, interhash = {8b9e2edd91b02d413a9de8554a49ab6c}, intrahash = {8017b12e5a2f0e3aa083181a8f39bcc9}, isbn = {978-3-030-17502-3}, keywords = {dblp}, pages = {176-195}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:32:26.000+0200}, title = {VerifyThis - Verification Competition with a Human Factor.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2019-3.html#ErnstHMU19}, volume = 11429, year = 2019 }