Rigorous Software Development: An Introduction to Program Verification by José Bacelar Almeida Back to product details page >
