Non-monotonic Refinement of Control Abstraction for Concurrent Programs.

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Browse the full ATVA paper archive.