Non-monotonic Refinement of Control Abstraction for Concurrent Programs

14 years 19 days ago

ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk

Abstraction | Abstraction Refinement | ATVA 2010 | Concurrent Programs | Hardware |

claim paper

Added	06 Dec 2010
Updated	06 Dec 2010
Type	Conference
Year	2010
Where	ATVA
Authors	Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Comments (0)