[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 7148 || Model Checking Information Flow in Reactive Systems
Kuncak, Viktor, Rybalchenko, AndreyVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-27940-9_12
File:
PDF, 301 KB
english, 2012