Four Compass Points in the Verification of the Linux Kernel

Peter Breuer, S Pickin, L Barbosa, Peter Breuer, A Cerone, S Pickin

Research output: Contribution to conference (unpublished)Paper


ConferenceProceedings of 1st International Workshop on Foundations and Techniques Bringing Together Free/Libre Open Source Software and Formal Methods (FLOSS-FM 2008) (co-located with OSS 2008 - 4th International Conference on Open Source Systems)
Period1/09/08 → …

Cite this