Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007, held as part of the Joint European conferences on theory and practice of software, ETAPS 2007 Braga, Portuga / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
25 years of model checking : history, achievements, perspectives / ed. O. Grumberg, 2008 r=on-line. - Текст : электронный.
Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / ed. O. Grumberg [et al.], 2009 r=on-line. - Текст : электронный.
Кларк Э.М. Верификация моделей программ: Model Checking / Э.М.Кларк,О.Грамберг,Д.Пелед;Пер.с англ.В.Захарова и др.;Под ред.Смелянского, 2002. - 416 с. - Текст : непосредственный.