Preface

David Aspinall, Claudio Sacerdoti Coen

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1 - 2
Number of pages	2
Journal	Electronic Notes in Theoretical Computer Science
Volume	285
Issue number	0
DOIs	https://doi.org/10.1016/j.entcs.2012.06.001
Publication status	Published - 19 Sept 2012

Access to Document

@article{65dba13899e04b538e446c07b22cf673,

title = "Preface",

author = "David Aspinall and Coen, {Claudio Sacerdoti}",

note = "Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10)",

year = "2012",

month = sep,

day = "19",

doi = "10.1016/j.entcs.2012.06.001",

language = "English",

volume = "285",

pages = "1 -- 2",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "0",

}

TY - JOUR

T1 - Preface

AU - Aspinall, David

AU - Coen, Claudio Sacerdoti

N1 - Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10)

PY - 2012/9/19

Y1 - 2012/9/19

U2 - 10.1016/j.entcs.2012.06.001

DO - 10.1016/j.entcs.2012.06.001

M3 - Article

SN - 1571-0661

VL - 285

SP - 1

EP - 2

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 0

ER -