%0 Conference Paper %1 conf/ifm/0002HB16 %A Hentschel, Martin %A Hähnle, Reiner %A Bubel, Richard %B IFM %D 2016 %E Ábrahám, Erika %E Huisman, Marieke %I Springer %K %P 3-19 %T Can Formal Methods Improve the Efficiency of Code Reviews? %U http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#0002HB16 %V 9681 %@ 978-3-319-33692-3

@inproceedings{conf/ifm/0002HB16, added-at = {2023-12-13T00:59:38.000+0100}, author = {Hentschel, Martin and Hähnle, Reiner and Bubel, Richard}, biburl = {https://www.bibsonomy.org/bibtex/28c9db75346315e9908d3e6ecfeb01074/admin}, booktitle = {IFM}, crossref = {conf/ifm/2016}, editor = {Ábrahám, Erika and Huisman, Marieke}, ee = {https://doi.org/10.1007/978-3-319-33693-0_1}, interhash = {6b514e7a05ac2916e09a6ea50028ff08}, intrahash = {8c9db75346315e9908d3e6ecfeb01074}, isbn = {978-3-319-33692-3}, keywords = {}, pages = {3-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:59:38.000+0100}, title = {Can Formal Methods Improve the Efficiency of Code Reviews?}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2016.html#0002HB16}, volume = 9681, year = 2016 }