Abstraction-Guided Synthesis

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-642-35873-9_4 ◽

2013 ◽

pp. 27-27

Author(s):

Eran Yahav

Download Full-text