McGettrick profile picture

McGettrick

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

Stand Alone

Program Verification Using Ada
Program Verification Using Ada (Cambridge Computer Science Texts, Series Number 13)
The Definition of Programming Languages (Cambridge Computer Science Texts) (Cambridge Computer Science Texts, Series Number 11)