Proving Theorems about LISP Functions
Journal of the ACM (JACM)
Toward a man-machine system for proving program correctness
Toward a man-machine system for proving program correctness
Hardware verification.
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
AnnaBot: a static verifier for java annotation usage
Advances in Software Engineering - Special issue on software test automation
Building SystemC waiting state automata
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |