@inproceedings{7bfafb2951c4492e9a8b55d87929c7ab,
title = "Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency",
abstract = "This report extends §6 of the main paper by providing further details of the mechanisation effort.",
author = "Azalea Raad and Ori Lahav and John Wickerson and Piotr Balcer and Brijesh Dongol",
note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.; 33rd European Symposium on Programming, ESOP 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024 ; Conference date: 06-04-2024 Through 11-04-2024",
year = "2024",
doi = "10.1007/978-3-031-57267-8_7",
language = "אנגלית",
isbn = "9783031572661",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "180--184",
editor = "Stephanie Weirich",
booktitle = "Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings",
address = "גרמניה",
}