David Pichardie
Identifiers
- Open LibraryOL9979029A
Books by David Pichardie
Total count: 2
-
Interactive Theorem Proving4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, ProceedingsSpringer London, Limited2013-01-01
-
Static Analysis27th International Symposium, SAS 2020, Chicago, il, USA, November 18-20, 2020, ProceedingsSpringer International Publishing AG2021-01-01