A Vindication of Program Verification (Q2963953)

From MaRDI portal