Login / Signup
Using Machine Descriptions in Program Verification.
William H. Joyner Jr.
William C. Carter
Daniel Brand
Published in:
Jerusalem Conference on Information Technology (1978)
Keyphrases
</>
high level
special case
database
real time
flowshop
databases
wide range
scheduling problem
object descriptions
method for automatically generating