[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Loop Invariant Symbolic Execution for Parallel Programs
Kuncak, Viktor, Rybalchenko, AndreyVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-27940-9_27
File:
PDF, 303 KB
english, 2012