Login / Signup

Specifying and Automatically Generating Ada Tasks in Prolog.

John Van TasselDavid Hemmendinger
Published in: ACM Conference on Computer Science (1990)
Keyphrases