Conference item
Using B to Specify‚ Verify and Design Hardware Circuits
Actions
Authors
Bibliographic Details
- Publisher:
- Springer−Verlag
- Host title:
- ZUM '98: Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
- Publication date:
- 1998-01-01
- ISBN:
- 3540650709
Item Description
- UUID:
-
uuid:cb9d8839-d20f-43dc-bcb6-2c676649a758
- Local pid:
- cs:5359
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1998
If you are the owner of this record, you can report an update to it here: Report update to this record