N. S. Pendharkar, K. Gopinath. Formal Verification of an O. S. Submodule. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 197-208, Springer, 1998.
Abstract is missing.