[Lecture Notes in Computer Science] Verified Software: Theories, Tools, Experiments Volume 8164 || Formal Verification of Loop Bound Estimation for WCET Analysis
Cohen, Ernie, Rybalchenko, AndreyVolume:
10.1007/97
Year:
2014
Language:
english
DOI:
10.1007/978-3-642-54108-7_15
File:
PDF, 603 KB
english, 2014