The Gallina Specification language: A Case Study

GĂ©rard P. Huet. The Gallina Specification language: A Case Study. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings. Volume 652 of Lecture Notes in Computer Science, pages 229-240, Springer, 1992.

Abstract

Abstract is missing.