TY  - BOOK
AU  - Pnueli,Amir
AU  - Voronkov,Andrei
AU  - Virbitskaite,Irina
ED  - International Andrei Ershov Memorial Conference
ED  - SpringerLink (Online service)
TI  - Perspectives of systems informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : revised papers 
SN  - 9783642114861
PY  - 2010///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Congresses
KW  - Computer programming
KW  - Systems engineering
KW  - Logics and Meanings of Programs
KW  - Programming Languages, Compilers, Interpreters
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-11486-1
ER  -