Advances in computer science вђ“ asian 2007. Computer and network security : 12th Asian computing science conference, Doha, Qatar, December 9-11, 2007: proceedings / ed. I. Cervesato, 2007 r=on-line. - Текст : электронный.
Logic for programming, artificial intelligence, and reasoning : 15th International conference, LPAR 2008, Doha, Qatar, November 22-27, 2008: proceedings / ed. I. Cervesato, 2008 r=on-line. - Текст : электронный.