B/hdl, an experiment to formalizing hardware ...

Document type :
Proceedings
Title :
B/hdl, an experiment to formalizing hardware by software formals specifications
Publication date :
2002
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL