Structural synthesis of programs with preconditions

vastutusandmed
Vahur Kotkas
ilmumiskoht
Tartu
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 70-81 : ill
ISBN
9949-11-113-7
märkused
Bibliogr.: 14 ref
keel
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.