Toggle navigation
About
Libraries
Help
Z39.50 Checker
Signup
Login
Add Library
Home
/
Libraries
/
Computer programs - Verification
Subject
Computer programs - Verification
Explore catalogue records classified under Computer programs - Verification.
1 catalogue record
Catalogue records
An introduction to formal program verification
Mili, Ali
1985