Title: Programming logics
Subjects: Computer programs, Programming languages (Electronic computers), Semantics, Verification