home
>
book reviews
> Ingo Bruckner
Google >
Ingo Bruckner
author : Ingo Bruckner
Short works
Slicing Object-Z specifications for verification. 2005.
(In
ZB 2005
)