TY  - BOOK
AU  - Pnueli,Amir
AU  - Virbitskaite,Irina
AU  - Voronkov,Andrei
TI  - Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 : Revised Papers
T2  - Theoretical Computer Science and General Issues
SN  - 978-3-642-11485-4
PY  - 2010///
CY  - Веrlin, Heidelberg
PB  - Springer
ER  -