Almeida, José Bacelar. (Eds.) (2011) Rigorous software developmentan introduction to program verification London ; Springer,MLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Rigorous software development [electronic resource] : an introduction to program verification /
José Bacelar Almeida ... [et al.].
|Names:||Almeida, José Bacelar.|
|Published:||London ; Springer, c2011.|
Undergraduate topics in computer science.
|Topics:||Computer software - Verification. | Computer software - Development.|
SpringerLink (Opens in a new window) Link to Rigorous software development (access limited to Benedictine University patrons)