Hardware and software, verification and testing / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.
Hardware and software, verification and testing : first International Haifa verification conference, Haifa, Israel, November 13-16, 2005: rev. sel. papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.