TY  - RPRT
TI  - Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System
AU  - June Andronick
AU  - Corey Lewis
AU  - Carroll Morgan
PY  - 2015
DO  - 10.4204/eptcs.196.2
UR  - https://arxiv.org/abs/1511.04170
ID  - 1511.04170
ER  -