Formal methods and testing : an outcome of the FORTEST network: revised selected papers / eds. R. M. Hierons [et al.], 2008 r=on-line. - Текст : электронный.