%0 Conference Paper %1 conf/pldi/OHearn20 %A O'Hearn, Peter W. %B SOAP@PLDI %D 2020 %E Krishnan, Paddy %E Reichenbach, Christoph %I ACM %K dblp %P 1 %T Formal reasoning and the hacker way (keynote). %U http://dblp.uni-trier.de/db/conf/pldi/soap2020.html#OHearn20 %@ 978-1-4503-7997-7

@inproceedings{conf/pldi/OHearn20, added-at = {2020-06-15T00:00:00.000+0200}, author = {O'Hearn, Peter W.}, biburl = {https://www.bibsonomy.org/bibtex/2bcc7a68199714b1a9342436807b647d1/dblp}, booktitle = {SOAP@PLDI}, crossref = {conf/pldi/2020soap}, editor = {Krishnan, Paddy and Reichenbach, Christoph}, ee = {https://doi.org/10.1145/3394451.3401953}, interhash = {5a82c4e965d2f5c320e7f3bb47654563}, intrahash = {bcc7a68199714b1a9342436807b647d1}, isbn = {978-1-4503-7997-7}, keywords = {dblp}, pages = 1, publisher = {ACM}, timestamp = {2020-06-16T12:06:40.000+0200}, title = {Formal reasoning and the hacker way (keynote).}, url = {http://dblp.uni-trier.de/db/conf/pldi/soap2020.html#OHearn20}, year = 2020 }