Title: Formal Methods : Applications and Technology
Subjects: Software engineering, Computer programs, Computer software, reliability, Computer software, verification