Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli. A Formal Framework for ASTRAL Inter-level Proof Obligations. In Wilhelm Schäfer, Pere Botella, editors, 5th European Software Engineering Conference, Sitges, Spain, September 25-28, 1995, Proceedings. Volume 989 of Lecture Notes in Computer Science, pages 90-108, Springer, 1995.
Abstract is missing.