Login / Signup
A Graph Theoretic Approach to the Verification of Program Structures.
John R. Brown
Kurt F. Fischer
Published in:
ICSE (1978)
Keyphrases
</>
mobile robot
symbolic execution
hardware designs
model checking
decision making
face verification
information retrieval
image processing
three dimensional
multiscale
evolutionary algorithm
computer programs
formal verification