1.
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. B...
by Davis, Martin, Schwartz, Jt...
ISBN: 9781341578281
List Price: $23.95
OUT OF STOCK
See Availability on Amazon2.
Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. b...
by Davis, Martin, Schwartz, Jt
ISBN: 9781379252634
List Price: $13.95