Modular verification of preemptive OS kernels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexey Gotsman, Hongseok Yang. Modular verification of preemptive OS kernels. In Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy, editors, Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011. pages 404-417, ACM, 2011. [doi]

This author has not been identified. Look up 'Alexey Gotsman' in GoogleThis author has not been identified. Look up 'Hongseok Yang' in Google

runs on WebDSL