Meru Sandbox
Skip to content
Meru Sandbox
Search
Menu
Back to Using Formal Methods to Verify Transactional Abstract Concurrency Control
Trek Palmer
University of Massachusetts Amherst
Contributions
Showing
1 - 1
out of
1
Author