Second-order proof systems for algebraic specification languages
Authors:
Pierre-Yves Schobbens
Affiliations:
-
Venue:
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000