2 works Add another?
Most Editions
Most Editions
First Published
Most Recent
Top Rated
Reading Log
Trending
Random
Subjects
Computer programs, Computer software, Congresses, Formal methods (Computer science), Reliability, Software engineering, Verification, Computer software, reliability, Computer software, verificationID Numbers
- OLID: OL5367348A
Links outside Open Library
No links yet. Add one?

