Pnueli, A., Virbitskaite, I., & Voronkov, A. (2010). Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationPnueli, Amir., Irina Virbitskaite, and Andrei Voronkov. Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
MLA CitationPnueli, Amir., Irina Virbitskaite, and Andrei Voronkov. Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.