@inproceedings{Kolanski_Klein_06, month = jan, paperurl = {https://trustworthy.systems/publications/papers/Kolanski_Klein_06.pdf}, volume = {51}, editor = {Barry Jay and Joachim Gudmundsson}, series = {Conferences in Research and Practice in Information Technology}, author = {Rafal Kolanski and Gerwin Klein}, year = {2006}, address = {Hobart, Australia}, booktitle = {Computing: The Australasian Theory Symposium (CATS)}, title = {Formalising the {L4} microkernel {API}}, pages = {53--68} }