Herve Perdrix (1986): Program Synthesis from specification using completion and strategies
Title:
Program Synthesis from specification using completion and strategies
Author(s):
Herve Perdrix
Year:
1986
Address:
Orsay, France
Concepts
