Title: A rigorous approach to self-checking programming
Subjects: Computer programs