@inproceedings{Andronick_17, address = {Gothenburg}, author = {Andronick, June}, booktitle = {International Conference on Automated Deduction}, date = {2017-8-6}, doi = {https://doi.org/10.1007/978-3-319-63046-5\_1}, editor = {{Leonardo de Moura}}, month = aug, pages = {1--7}, paperurl = {https://trustworthy.systems/publications/full_text/Andronick_17.pdf}, publisher = {Springer}, title = {Reasoning about Concurrency in High-Assurance, High-Performance Software Systems}, year = {2017} }