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