@conference{bc51aeb993e14772af1f4992662a476c,
title = "Four Compass Points in the Verification of the Linux Kernel",
author = "Peter Breuer and S Pickin and L Barbosa and Peter Breuer and A Cerone and S Pickin",
year = "2008",
month = sep,
day = "1",
language = "English",
pages = "10--25",
note = "Proceedings 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) ; Conference date: 01-09-2008",
}