Login / Signup

Using B to Specify, Verify and Design Hardware Circuits.

Ib Holm Sørensen
Published in: ZUM (1998)
Keyphrases