Log in to track your reading progress.
Readers discussing Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. b... — questions, passages they’re puzzling over, and what to read next. Log in to read full threads and join in.
Start a discussion about this book
No discussions about this book yet.
Be the first — share a question, a passage, or a thought about Correct-Program Technology|extensibility of Verifiers. Two Papers on Program Verification. b....