Jacques Loeckx profile picture

Jacques Loeckx

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

Stand Alone

Foundations of programming languages
The foundations of program verification
The Foundations of Program Verification
Grundlagen der Programmiersprachen
Foundations of programming languages
Specification of abstract data types
The foundations of program verification (Wiley-Teubner series in computer science)
The foundations of program verification (Wiley-Teubner series in computer science)
Foundations of Programming Languages