Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005: revised selected papers / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.