[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 11254 (21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings) || Formal Verification of n-bit ALU Using Theorem Proving
Massoni, Tiago, Mousavi, Mohammad RezaVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-030-03044-5_6
File:
PDF, 662 KB
english, 2018