Computer-Aided Verification

Bok av Robert Kurshan