author : C. Luth

Short works

• HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z. 1998. (In ZUM '98 )