Skip to main content

The use of B to specify‚ design and verify hardware

Wilson Ifill‚ Ib Sorensen and Steve Schneider

Address
Norwell‚ MA‚ USA
ISBN
0−7923−7949−7
Pages
43–62
Publisher
Kluwer Academic Publishers
Year
2001