Applying source-code verification to a microkernel: the VFiasco project - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Hohmuth, Hendrik Tews, Shane G. Stephens. Applying source-code verification to a microkernel: the VFiasco project. In Gilles Muller, Eric Jul, editors, Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002. pages 165-169, ACM, 2002. [doi]

This author has not been identified. Look up 'Michael Hohmuth' in GoogleThis author has not been identified. Look up 'Hendrik Tews' in GoogleThis author has not been identified. Look up 'Shane G. Stephens' in Google

runs on WebDSL