- Publisher:
- Springer−Verlag
- Publication date:
- 1998-01-01
- URN:
-
uuid:cb9d8839-d20f-43dc-bcb6-2c676649a758
- Local pid:
- cs:5359
- ISBN:
- 3-540-65070-9
- Copyright date:
- 1998
Conference item
Using B to Specify‚ Verify and Design Hardware Circuits
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record