Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers - Virbitskaite, Irina; Voronkov, Andrei; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering; Programming Techniques