home
>
book reviews
> C. Luth
Google >
C. Luth
author : C. Luth
Short works
HOL-Z in the UniForM-Workbench - A Case Study in Tool Integration for Z. 1998.
(In
ZUM '98
)