Cyrille Artho

No bio available. Add one in Open Library.

Books by Cyrille Artho (50 max)

+ shelf+ list

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

2014

Cyrille Artho, Peter Csaba Ölveczky

+ shelf+ list

Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

2016

Cyrille Artho, Axel Legay, Doron Peled