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