Software Verification and AnalysisJanusz Laski, William Deane Stanley · First published 2009Open the Tome
Software Verification And Analysis An Integrated Handson ApproachJanusz Laski · First published 2009Open the Tome