by S. M. Easterbrook
No reviews yet. Be the first!
Learning from inconsistency
Experiences using lightweight formal met...
Formal methods of V&V of partial specifi...
Advances in Computers, Volume 49 (Advanc...
Parallel Computing Technologies
Clean Code
Computer Safety, Reliability, and Securi...
Reliable design of medical devices
Space product assurance