Selected Extended Papers of ITP 2016: Preface

Jasmin Christian Blanchette; Stephan Merz

doi:10.1007/s10817-018-9470-8

Article Dans Une Revue Journal of Automated Reasoning Année : 2019

Selected Extended Papers of ITP 2016: Preface

(1, 2) , (3, 4)

1
2
3
4

Jasmin Christian Blanchette

Fonction : Auteur
PersonId : 1017323
ORCID : 0000-0002-8367-0936

Max-Planck-Institut für Informatik

Vrije Universiteit Amsterdam [Amsterdam]

Stephan Merz

Fonction : Auteur
PersonId : 15889
IdHAL : stephan-merz
ORCID : 0000-0003-0974-1844
IdRef : 120558513

Modeling and Verification of Distributed Algorithms and Systems

Proof-oriented development of computer-based systems

Domaines

Logique en informatique [cs.LO]

Fichier principal

editorial.pdf (108.13 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

Stephan Merz : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02395177

Soumis le : jeudi 5 décembre 2019-11:58:35

Dernière modification le : lundi 2 décembre 2024-17:46:02

Archivage à long terme le : vendredi 6 mars 2020-14:31:58

Dates et versions

hal-02395177 , version 1 (05-12-2019)

Identifiants

HAL Id : hal-02395177 , version 1
DOI : 10.1007/s10817-018-9470-8

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

26 Consultations

70 Téléchargements

Selected Extended Papers of ITP 2016: Preface

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager