Reasoning About Concurrency in High-Assurance, High-Performance Software Systems.

June Andronick

Browse the full CADE paper archive.