Login / Signup

Using Emulation to Verify Formal Architecture Descriptions.

Mario R. BarbacciAlan Parker
Published in: Computer (1978)
Keyphrases