Constructing correct software

Main Author: Cooke
Format: Book
Language:English
Published: New York: Springer, 2005.
Edition:2nd ed.
Series:Formal approaches to computing and information technology
Subjects: