W. Martin, P. White, F. S. Taylor, A. Goldberg
Formal Construction of the Mathematically Analyzed Separation Kernel
ASE, 2000.
@inproceedings{ASE-2000-MartinWTG,
author = "W. Martin and P. White and F. S. Taylor and A. Goldberg",
booktitle = "{Proceedings of the 15th IEEE International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/0710/07100133abs.htm",
pages = "133--142",
publisher = "{IEEE Computer Society}",
title = "{Formal Construction of the Mathematically Analyzed Separation Kernel}",
year = 2000,
}