Selected Extended Papers of ITP 2016: Preface

Jasmin Blanchette 1, 2 Stephan Merz 3, 4
1 MPII - Max-Planck-Institut für Informatik
2 VU - Vrije Universiteit Amsterdam [Amsterdam]
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

File

editorial.pdf
Files produced by the author(s)

Identifiers

Collections

UNIV-LORRAINE | LORIA | LORIA-FM | INRIA | CNRS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

10

Files downloads

59

 

 

Contact

archive-ouverte@inria.fr