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