Title: Formal Methods : Foundations and Applications
Subjects: Software engineering, Programming languages (electronic computers)