Automated Verification of Data Properties and Linearizability for Heap-Manipulating Programs
0
0
Author Description
Page Count:
0
Publication Date:
2024-01-01
Publisher:
Acta Universitatis Upsaliensis
ISBN-10:
9151320983
ISBN-13:
9789151320984
Page Count:
0
Publication Date:
2024-01-01
Publisher:
Acta Universitatis Upsaliensis
ISBN-10:
9151320983
ISBN-13:
9789151320984
No comments yet. Be the first to share your thoughts!