Timothy J. Shimeall
Identifiers
- Open LibraryOL7187115A
Top Subjects
- Computer program verification (2)
- Pascal (Computer program language) (1)
- Programming languages (Electronic computers) (1)
- Computer software (1)
- Testing (1)
- Verification (1)
- Computer programming (1)
Books by Timothy J. Shimeall
Total count: 4
REACHER--a reachability condition derivation toolNaval Postgraduate School1989-01-01
FALTER--a fault annotation toolNaval Postgraduate School1989-01-01
A library of failure regionsNaval Postgraduate School1991-01-01
Analytical derivation of sotfware failure regionsNaval Postgraduate School1991-01-01