1
Software verification and analysis : an integrated, hands-on approach [E-Book] /