Semantic Scholar Open Access 2017 172 sitasi

Interactive proofs in higher-order concurrent separation logic

Robbert Krebbers Amin Timany L. Birkedal

Lihat Sumber DOI

Topik & Kata Kunci

Computer Science

Penulis (3)

Robbert Krebbers

Amin Timany

L. Birkedal

Format Sitasi

APA MLA BibTeX

Krebbers, R., Timany, A., Birkedal, L. (2017). Interactive proofs in higher-order concurrent separation logic. https://doi.org/10.1145/3009837.3009855

Akses Cepat

Lihat di Sumber doi.org/10.1145/3009837.3009855

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Total Sitasi: 172×
Sumber Database: Semantic Scholar
DOI: 10.1145/3009837.3009855
Akses: Open Access ✓