Rigorous software development: an introduction to program verification. An introduction to program verification.
Almeida, Jose Bacelar; Frade, Maria Joao; Pinto, Jorge Sousa; Sousa, Simao Melo De.
Rigorous software development: an introduction to program verification. An introduction to program verification. - 1 - New Delhi Springer 2015 - xii,263
9788132231653
Software Testing
005.304 ALMJ
Rigorous software development: an introduction to program verification. An introduction to program verification. - 1 - New Delhi Springer 2015 - xii,263
9788132231653
Software Testing
005.304 ALMJ