Cyrille Artho
Identifiers
- Open LibraryOL7883714A
Top Subjects
- Artificial intelligence (1)
- Automatic theorem proving (1)
Books by Cyrille Artho
Total count: 2
-
Formal Techniques for Safety-Critical SystemsSecond International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected PapersSpringer London, Limited2014-01-01
-
Automated Technology for Verification and Analysis14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, ProceedingsSpringer2016-01-01