Login / Signup

Prolog technology as a basis for verification systems.

Susan L. Gerhart
Published in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases