Caper: Automatic Verification for Fine-Grained Concurrency

Research output: Research - peer-reviewArticle in proceedings

DOI

Original languageEnglish
Title of host publicationProgramming Languages and Systems : 26th European Symposium on Programming, ESOP 2017
EditorsHongseok Yang
Number of pages27
Volume10201
Place of PublicationBerlin, Heidelberg
PublisherSpringer-VS
Publication year22 Apr 2017
Pages420-447
ISBN (Print)978-3-662-54433-4
ISBN (Electronic)978-3-662-54434-1
DOIs
StatePublished - 22 Apr 2017
EventEuropean Symposium on Programming - http://www.etaps.org/index.php/2017/esop, Uppsala, Sweden
Duration: 22 Apr 201729 Apr 2017
Conference number: 26

Conference

ConferenceEuropean Symposium on Programming
Nummer26
Locationhttp://www.etaps.org/index.php/2017/esop
LandSweden
ByUppsala
Periode22/04/201729/04/2017
SeriesLecture Notes in Computer Science (LNCS)
Number10201
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 107771883