Synthesis Through Unification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-21668-3_10 ◽

2015 ◽

pp. 163-179 ◽

Author(s):

Rajeev Alur ◽

Pavol Černý ◽

Arjun Radhakrishna

Download Full-text