DMCA

Threader: A Constraint-Based Verifier for Multi-threaded Programs

Cached

Download Links

by Ashutosh Gupta , Corneliu Popeea , Andrey Rybalchenko , Technische Universität München
Citations:11 - 3 self