Non-monotonic Refinement of Control Abstraction for Concurrent Programs

13 years 12 months 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)