Permission Inference for Array Programs

Metadata only

Autor(in)

Datum

2018

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Herausgeber(in)

Buchtitel

Computer Aided Verification

Zeitschrift / Serie

Lecture Notes in Computer Science

Band

10982

Seiten / Artikelnummer

55 - 74

Verlag

Springer

Konferenz

30th International Conference on Computer Aided Verification (CAV 2018), Oxford, England, July 14-17, 2018

Organisationseinheit

03653 - Müller, Peter / Müller, Peter

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection