Preconditions for structural synthesis of programs

Kotkas, V. (2007). Preconditions for structural synthesis of programs. Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers. Toim. Virbitskaite, I.; Voronkov, A. Berlin: Springer, 283−296. (Lecture Notes in Computer Science; 4378).10.1007/978-3-540-70881-0_2.
publitseeritud konverentsiettekanne
Kotkas, V.
Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers
Virbitskaite, I.; Voronkov, A.
Berlin
Springer
0302-9743
978-3-540-70880-3
Lecture Notes in Computer Science
4378
2007
283296
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1007/978-3-540-70881-0_2