Structural synthesis of programs with preconditions
Kotkas, Vahur
Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005
2005
/
p. 70-81 : ill