Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The use of B to specify‚ design and verify hardware

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

Links

See Also

Back to Top