Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2

Name: Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2
Uploaded: 2024-01-23T00:00:00.000Z
Duration: 5508 s
Description: Video Prasad Jayanti "Technique for Machine-Verified Proofs of Linearizability" Part 2