%0 Conference Paper %1 conf/esem/StaplesJAMKK14 %A Staples, Mark %A Jeffery, D. Ross %A Andronick, June %A Murray, Toby C. %A Klein, Gerwin %A Kolanski, Rafal %B ESEM %D 2014 %E Morisio, Maurizio %E Dybå, Tore %E Torchiano, Marco %I ACM %K %P 15:1-15:4 %T Productivity for proof engineering. %U http://dblp.uni-trier.de/db/conf/esem/esem2014.html#StaplesJAMKK14 %@ 978-1-4503-2774-9

@inproceedings{conf/esem/StaplesJAMKK14, added-at = {2023-12-13T09:46:51.000+0100}, author = {Staples, Mark and Jeffery, D. Ross and Andronick, June and Murray, Toby C. and Klein, Gerwin and Kolanski, Rafal}, biburl = {https://www.bibsonomy.org/bibtex/2ad3e9d4663e6c7112f3138701f252d68/admin}, booktitle = {ESEM}, crossref = {conf/esem/2014}, editor = {Morisio, Maurizio and Dybå, Tore and Torchiano, Marco}, ee = {https://doi.org/10.1145/2652524.2652551}, interhash = {d1b68bd34de5d62a8da0802b4f42ec46}, intrahash = {ad3e9d4663e6c7112f3138701f252d68}, isbn = {978-1-4503-2774-9}, keywords = {}, pages = {15:1-15:4}, publisher = {ACM}, timestamp = {2023-12-13T09:46:51.000+0100}, title = {Productivity for proof engineering.}, url = {http://dblp.uni-trier.de/db/conf/esem/esem2014.html#StaplesJAMKK14}, year = 2014 }