DMCA

Verifying Concurrent C Programs with VCC

by Wolfram Schulte , Ernie Cohen , Stephan Tobies