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