Selected Extended Papers of ITP 2016: Preface

Jasmin Blanchette; Stephan Merz

doi:10.1007/s10817-018-9470-8

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

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

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

Selected Extended Papers of ITP 2016: Preface

File

Identifiers

Collections

Citation

Export

Metrics

45

124

Contact Legal Notice Personal Data

Selected Extended Papers of ITP 2016: Preface

File

Identifiers

Collections

Citation

Export

Share

Metrics

45

124

Contact Legal Notice Personal Data