Title: Correctness Problem in Computer Science (International lecture series in computer science)
Subjects: Correctness, Computer programs