%0 Conference Paper %1 conf/spin/Cook17 %A Cook, Byron %B SPIN %D 2017 %E Erdogmus, Hakan %E Havelund, Klaus %I ACM %K dblp %P 9 %T Automated formal reasoning about amazon web services (keynote). %U http://dblp.uni-trier.de/db/conf/spin/spin2017.html#Cook17 %@ 978-1-4503-5077-8

@inproceedings{conf/spin/Cook17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cook, Byron}, biburl = {https://www.bibsonomy.org/bibtex/29d3fefc4481f5ebb2813ea6eb639d9ed/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2017}, editor = {Erdogmus, Hakan and Havelund, Klaus}, ee = {https://doi.org/10.1145/3092282.3092315}, interhash = {fe3ab7c38d00bd42d190c3ff482812c3}, intrahash = {9d3fefc4481f5ebb2813ea6eb639d9ed}, isbn = {978-1-4503-5077-8}, keywords = {dblp}, pages = 9, publisher = {ACM}, timestamp = {2018-11-07T16:07:31.000+0100}, title = {Automated formal reasoning about amazon web services (keynote).}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2017.html#Cook17}, year = 2017 }