[Lecture Notes in Computer Science] Computer Aided Verification Volume 7358 || Efficient Runtime Policy Enforcement Using Counterexample-Guided Abstraction Refinement

✍ Scribed by Madhusudan, P.; Seshia, Sanjit A.

• Book ID: 121083779
• Publisher: Springer Berlin Heidelberg
• Year: 2012
• Weight: 303 KB
• Category: Article
• ISBN: 3642314244
• DOI: 10.1007/978-3-642-31424-7_39