Cyrille Artho

1 published title

Formal techniques for safety-critical systems : second international workshop, FTSCS 2013, Queenstown, New Zealand, October 29-30, 2013, revised selected papers

(Contributor)

1 edition