Automatical synthesis of programs with recursions

Formal Methods in Programming and Their Applications - Lecture Notes in Computer Science ◽

10.1007/bfb0039723 ◽

2006 ◽

pp. 414-422

Author(s):

Anatolij P. Beltiukov