Stanley W. Software verification and analysis : an integrated, hands-on approach / W. Stanley, J. Laski, 2009 r=on-line. - Текст : электронный.