STEVEN A. THOMSON profile picture

STEVEN A. THOMSON

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

Stand Alone

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