Formalization of digital circuits using ...
Document type :
Proceedings
Title :
Formalization of digital circuits using the B method
Publication date :
2002
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Source :