laski, janusz software verification and analysis an integrated hands on approach - 1 - new delhi springer 2012 - 224p Available ISBN: 978-81-322-0451-0 Subjects--Topical Terms: semantic analysis, programs,computer science Dewey Class. No.: 005.1 las