%0 Conference Paper %1 conf/kbse/0002HB16 %A Hentschel, Martin %A Hähnle, Reiner %A Bubel, Richard %B ASE %D 2016 %E Lo, David %E Apel, Sven %E Khurshid, Sarfraz %I ACM %K dblp %P 403-413 %T An empirical evaluation of two user interfaces of an interactive program verifier. %U http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#0002HB16 %@ 978-1-4503-3845-5

@inproceedings{conf/kbse/0002HB16, added-at = {2021-08-11T00:00:00.000+0200}, author = {Hentschel, Martin and Hähnle, Reiner and Bubel, Richard}, biburl = {https://www.bibsonomy.org/bibtex/208388ded0ac4288755df5f9b0f70a3da/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2016}, editor = {Lo, David and Apel, Sven and Khurshid, Sarfraz}, ee = {https://ieeexplore.ieee.org/document/7582776/}, interhash = {c79a39f824993d67f296e7b6cf98af36}, intrahash = {08388ded0ac4288755df5f9b0f70a3da}, isbn = {978-1-4503-3845-5}, keywords = {dblp}, pages = {403-413}, publisher = {ACM}, timestamp = {2024-04-09T23:52:27.000+0200}, title = {An empirical evaluation of two user interfaces of an interactive program verifier.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2016.html#0002HB16}, year = 2016 }