home
>
book reviews
> Franz Huber
Google >
Franz Huber
author : Franz Huber
Short works
Integrating Formal Description Techniques. 1999.
(In
FM'99 volume 2
)