Skip to Main content Skip to Navigation
Journal articles

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 metadata
https://hal.inria.fr/hal-02395177
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Thursday, December 5, 2019 - 11:58:35 AM
Last modification on : Wednesday, November 3, 2021 - 7:09:01 AM
Long-term archiving on: : Friday, March 6, 2020 - 2:31:58 PM

File

Vignette du document
editorial.pdf
Files produced by the author(s)

Identifiers

Collections

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

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

76

Files downloads

253

 

Contact                    Legal Notice                    Personal Data