DMCA

Detecting Concurrency Bugs in Higher-Order Programs through Abstract Interpretation

Cached

Download Links

by Quentin Stievenart , Jens Nicolay , Wolfgang De Meuter , Coen De Roover