Jt Schwartz profile picture

Jt Schwartz

Is this your author profile? Create an account to customize it!

Stand Alone

Correct-Program Technology/Extensibility of Verifiers. Two Papers on Program Verification. by Martin Davis and J. T. Schwartz
Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz