BHDL: circuit design in B

Document type :
Proceedings
DOI :
10.1109/CSD.2003.1207723
Title :
BHDL: circuit design in B
Publisher :
IEEE Comput. Soc
Publication date :
2003-06
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL