1 book • 3 series
The Foundations of Program Verification (Computer Science) (Wiley Teubner on Applicable Theory in Computer Science) (Series in Computer Science)
