Software verification and analysis an integrated, hands-on approach

Software verification and analysis an integrated, hands-on approach

Bibliographic Details
Main Author: Laski, Janusz
Other Authors: Stanley, William
Format: Book
Language:English
Published: London Springer c2009.
Subjects:
Computer software > Verification.