S. J. Goldsack profile picture

S. J. Goldsack

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

Stand Alone

Ada for Specification: Possibilities and Limitations (The Ada Companion Series)
Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT))