Using B to Specify‚ Verify and Design Hardware Circuits
Ib Sørensen
Address
London‚ UK‚ UK
Book Title
ZUM '98: Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
ISBN
3−540−65070−9
Pages
60–65
Publisher
Springer−Verlag
Year
1998