Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner. The TYPELAB Specification and Verification Environment. In Martin Wirsing, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings. Volume 1101 of Lecture Notes in Computer Science, pages 604-607, Springer, 1996.
Abstract is missing.