Theorem Proving for Verification (0)

by J Rushby
Venue:Lecture Notes in Computer Science