Effectively Eliminating Auxiliaries

Theory and Practice of Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-30734-3_16 ◽

2016 ◽

pp. 226-241 ◽

Cited By ~ 1

Author(s):

Stijn de Gouw ◽

Jurriaan Rot

Download Full-text