Specification and Verification of the ASOS Kernel.

Ben L. Di Vito, Paul H. Palmquist, Eric R. Anderson, Michael L. Johnston

Browse the full SP paper archive.