Skip to content
Vinony

Nicolas Halbwachs

No biography available.

Works (2)

Cover of Synchronous programming of reactive systems
Synchronous programming of reactive systems
Cover of Computer aided verification
Computer aided verification