Using B to Specify‚ Verify and Design Hardware Circuits
Ib Sørensen
Details
| 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 |
Links
Related pages
|
People |