@inproceedings{Andronick_17_2, address = {Hanoi, Vietnam}, author = {Andronick, June}, booktitle = {International Colloquium on Theoretical Aspects of Computing (ICTAC)}, date = {2017-10-23}, editor = {{Dang Van Hung and Deepak Kapur}}, month = oct, pages = {XIII-XV}, paperurl = {https://trustworthy.systems/publications/full_text/Andronick_17_2.pdf}, publisher = {Springer}, title = {From {Hoare} Logic to {Owicki-Gries} and Rely-Guarantee for Interruptible {eChronos} and Multicore {seL4}}, year = {2017} }