Perspectives of systems informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers - International Andrei Ershov Memorial Conference 2009 : Novosibirsk, Russia); Pnueli, Amir; Voronkov, Andrei; Virbitskaite, Irina; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Computer science -- Congresses; Computer programming -- Congresses; Systems engineering -- Congresses; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters