Login / Signup
The application of a symbolic mathematical system to program verification.
Ralph L. London
David R. Musser
Published in:
ACM Annual Conference (1) (1974)
Keyphrases
</>
information retrieval
high level
e learning
case study
data structure
real time
three dimensional