DMCA

HOL-Z in the UniForM-Workbench - a Case Study in Tool Integration for Z (1998)

by C. Lüth , E. W. Karlsen , Kolyang , S. Westmeier , B. Wolff
Citations:8 - 4 self