Rigorous Software Development
Subtitle: An Introduction to Program Verification
Publisher: Springer London, Limited
Published: 2025
Language: eng
ISBN-13: 9781447175575