Foundations of Program Verification

Bok av Loeckx