author : Pascal Poizat

Short works

• From Informal Requirements to COOP: A Concurrent Automata Approach. 1999. (In FM'99 volume 2 )