Lecture notes in computer science / ed. G. Goos [et al.]. 6405 : Hardware and software: verification and testing : 5th intern. Haifa verif. conf., HVC 2009, Haifa, Israel, Oct. 19-22, 2009 / International Haifa verification conference (5; 2009; Haifa), 2011. - X, 169 p. с. - Текст : непосредственный.
Automated technology for verification and analysis : 5th International symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007: proceedings / ed. K. Namjoshi, 2007 r=on-line. - Текст : электронный.