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