Title: Formal methods of V&V of partial specifications
Subjects: Proving, Program verification (Computers), Computer programs