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