Skip to Main content Skip to Navigation
Directions of work or proceedings

Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Pascal Fontaine 1, 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Directions of work or proceedings
Complete list of metadatas

https://hal.inria.fr/hal-02194007
Contributor : Pascal Fontaine <>
Submitted on : Thursday, July 25, 2019 - 9:58:56 AM
Last modification on : Saturday, December 12, 2020 - 3:11:11 AM

Identifiers

  • HAL Id : hal-02194007, version 1

Collections

Citation

Pascal Fontaine. Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Pascal Fontaine. CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716, Springer, 2019, Lecture Notes in Artificial Intelligence. ⟨hal-02194007⟩

Share