High Integrity Ada in a UML and C World

Peter Amey, Neil White. High Integrity Ada in a UML and C World. In Albert Llamosí, Alfred Strohmeier, editors, Reliable Software Technologies - Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004, Proceedings. Volume 3063 of Lecture Notes in Computer Science, pages 225-236, Springer, 2004. [doi]

Abstract

Abstract is missing.