Fasse, J., & Jacobs, B. (2023). A flexible specification approach for verifying total correctness of fine-grained concurrent modules.
Chicago Style (17th ed.) CitationFasse, Justus, and Bart Jacobs. A Flexible Specification Approach for Verifying Total Correctness of Fine-grained Concurrent Modules. 2023.
MLA (9th ed.) CitationFasse, Justus, and Bart Jacobs. A Flexible Specification Approach for Verifying Total Correctness of Fine-grained Concurrent Modules. 2023.
Warning: These citations may not always be 100% accurate.