Welcome from the chairs

Research output: Chapter in Book / Report / Conference proceeding › Foreword/postscript › Academic

Original language	English
Title of host publication	CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 14-15 2019
Subtitle of host publication	[Proceedings]
Publisher	ACM
Pages	III-III
Number of pages	1
ISBN (Electronic)	9781450362221
Publication status	Published - 2019

Persistent URL (handle)

TY - CHAP

T1 - Welcome from the chairs

AU - Mahboubi, Assia

AU - Myreen, Magnus O.

PY - 2019

Y1 - 2019

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

UR - https://popl19.sigplan.org/track/cpp-2019

M3 - Foreword/postscript

SP - III-III

BT - CPP 2019 - The 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 14-15 2019

PB - ACM

ER -