Thomson, Steven A. profile picture

Thomson, Steven A.

Is this your author profile? Create an account to claim and customize it!

Validation and Verification of Formal Specifications in Object-Oriented Software Engineering