Skip to Main content Skip to Navigation
Journal articles

Selected Extended Papers of ITP 2016: Preface

Jasmin Blanchette 1, 2 Stephan Merz 3, 4
3 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
4 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-02395177
Contributor : Stephan Merz <>
Submitted on : Thursday, December 5, 2019 - 11:58:35 AM
Last modification on : Saturday, December 7, 2019 - 1:41:39 AM
Long-term archiving on: : Friday, March 6, 2020 - 2:31:58 PM

File

editorial.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jasmin Blanchette, Stephan Merz. Selected Extended Papers of ITP 2016: Preface. Journal of Automated Reasoning, Springer Verlag, 2019, 62 (2), pp.169-170. ⟨10.1007/s10817-018-9470-8⟩. ⟨hal-02395177⟩

Share

Metrics

Record views

45

Files downloads

124