%0 Conference Proceedings
%A Kolanski, Rafal
%A Klein, Gerwin
%D 2006
%T Formalising the L4 microkernel API
%E Gudmundsson, Joachim
%E Jay, Barry
%B Twelfth Computing: The Australasian Theory Symposium (CATS2006)
%C Hobart, Australia
%I ACS
%V 51
%P 53-68
%S CRPIT
%! Formalising the L4 microkernel API
%F CRPITV51-53-68
%Z abstract
%U http://crpit.com/confpapers/CRPITV51Kolanski.pdf