Validation and Verification of Formal Specifications in Object-Oriented Software Engineering
Steven A Thomson
Hutson Street Press
2025
sidottu