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