Structural synthesis of programs with preconditions
author
statement of authorship
Vahur Kotkas
location of publication
Tartu
publisher
year of publication
pages
p. 70-81 : ill
subject term
ISBN
9949-11-113-7
notes
Bibliogr.: 14 ref
language
inglise
Kotkas, V. Structural synthesis of programs with preconditions // Proceedings of the Ninth Symposium on Programming Languages and Software Tools : Tartu, Estonia, August 13-14, 2005. Tartu : Tartu University Press, 2005. p. 70-81 : ill.