Ten Years of Tool Based Ada Compiler Validations. An Experience Report

Michael Tonndorf. Ten Years of Tool Based Ada Compiler Validations. An Experience Report. In Lars Asplund, editor, Reliable Software Technologies - Ada-Europe 98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Volume 1411 of Lecture Notes in Computer Science, pages 176-187, Springer, 1998. [doi]

Abstract

Abstract is missing.