home
>
book reviews
> Pascal Poizat
Google >
Pascal Poizat
author : Pascal Poizat
Short works
From Informal Requirements to COOP: A Concurrent Automata Approach. 1999.
(In
FM'99 volume 2
)