Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. b...

Name: Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. b...
Author: Martin Davis
ISBN: 9781153465533

by Martin Davis

Write a review

This is the only edition we have for Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. b....

Discover your
next great read.

Save books to your reading lists
Write reviews and rate books
Connect with other readers

Already a member?
Log in