HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z
Keyword(s):
1995 ◽
Vol 19
(1)
◽
pp. S759-S764
◽
1995 ◽
Vol 19
◽
pp. 759-764
◽
1998 ◽
Keyword(s):
Keyword(s):