Login / Signup

Verifying a real system design: some of the problems.

Ruaridh Macdonald
Published in: ACM SIGSOFT Softw. Eng. Notes (1985)
Keyphrases