Selected Extended Papers of ITP 2016: Preface

Research output: Contribution to JournalEditorialAcademicpeer-review

Original languageEnglish
Pages (from-to)169-170
Number of pages2
JournalJournal of Automated Reasoning
Volume62
Issue number2
DOIs
Publication statusPublished - Feb 2019

Cite this

@article{5ef1c3aeaa85439cab89091b62f92237,
title = "Selected Extended Papers of ITP 2016: Preface",
author = "Blanchette, {Jasmin Christian} and Stephan Merz",
year = "2019",
month = "2",
doi = "10.1007/s10817-018-9470-8",
language = "English",
volume = "62",
pages = "169--170",
journal = "Journal of Automated Reasoning",
issn = "0168-7433",
publisher = "Springer Netherlands",
number = "2",

}

Selected Extended Papers of ITP 2016 : Preface. / Blanchette, Jasmin Christian; Merz, Stephan.

In: Journal of Automated Reasoning, Vol. 62, No. 2, 02.2019, p. 169-170.

Research output: Contribution to JournalEditorialAcademicpeer-review

TY - JOUR

T1 - Selected Extended Papers of ITP 2016

T2 - Preface

AU - Blanchette, Jasmin Christian

AU - Merz, Stephan

PY - 2019/2

Y1 - 2019/2

UR - http://www.scopus.com/inward/record.url?scp=85048369793&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85048369793&partnerID=8YFLogxK

U2 - 10.1007/s10817-018-9470-8

DO - 10.1007/s10817-018-9470-8

M3 - Editorial

VL - 62

SP - 169

EP - 170

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 2

ER -