Raphaël Proust, Alan Mycroft. It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It. In Andrew P. Black, Shriram Krishnamurthi, Bernd Bruegge, Joseph N. Ruskiewicz, editors, Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014. pages 163-171, ACM, 2014. [doi]
@inproceedings{ProustM14,
title = {It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It},
author = {Raphaël Proust and Alan Mycroft},
year = {2014},
doi = {10.1145/2661136.2661142},
url = {http://doi.acm.org/10.1145/2661136.2661142},
researchr = {https://researchr.org/publication/ProustM14},
cites = {0},
citedby = {0},
pages = {163-171},
booktitle = {Onward! 2014, Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming \& Software, part of SPLASH '14, Portland, OR, USA, October 20-24, 2014},
editor = {Andrew P. Black and Shriram Krishnamurthi and Bernd Bruegge and Joseph N. Ruskiewicz},
publisher = {ACM},
isbn = {978-1-4503-3210-1},
}