Email Address * *
Name
Subject *
Message * Correct-program technology/Extensibility of verifiers. Two papers on program verification. By Martin Davis and J.T. Schwartz - 1175746789 - 9781175746788