Caper: Automatic Verification for Fine-Grained Concurrency

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Dokumenter

DOI

  • Thomas Dinsdale-Young
  • ,
  • Pedro da Rocha Pinto, Imperial College London, Storbritannien
  • Kristoffer Just Arndal Andersen
  • ,
  • Lars Birkedal
OriginalsprogEngelsk
TitelProgramming Languages and Systems : 26th European Symposium on Programming, ESOP 2017
RedaktørerHongseok Yang
Antal sider27
Vol/bind10201
UdgivelsesstedBerlin, Heidelberg
ForlagSpringer VS
Udgivelsesår22 apr. 2017
Sider420-447
ISBN (trykt)978-3-662-54433-4
ISBN (Elektronisk)978-3-662-54434-1
DOI
StatusUdgivet - 22 apr. 2017
BegivenhedEuropean Symposium on Programming - http://www.etaps.org/index.php/2017/esop, Uppsala, Sverige
Varighed: 22 apr. 201729 apr. 2017
Konferencens nummer: 26

Konference

KonferenceEuropean Symposium on Programming
Nummer26
Lokationhttp://www.etaps.org/index.php/2017/esop
LandSverige
ByUppsala
Periode22/04/201729/04/2017
SerietitelLecture Notes in Computer Science
Vol/bind10201
ISSN0302-9743

Se relationer på Aarhus Universitet Citationsformater

Aktiviteter

Download-statistik

Ingen data tilgængelig

ID: 107771883