Login / Signup
A Mechanized Program Verifier.
J Strother Moore
Published in:
VSTTE (2005)
Keyphrases
</>
computer programs
database
data sets
neural network
image segmentation
test cases
control flow