home
>
book reviews
> Antonis Papatsaras
Google >
Antonis Papatsaras
author : Antonis Papatsaras
Short works
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. 2002.
(In
ZB 2002
)