[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 9450 || Verification of Concurrent Programs Using Trace Abstraction Refinement
Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, AndreiVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-48899-7_17
File:
PDF, 469 KB
english, 2015