DasGupta, Pallab.
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. - Dordrecht : Springer Netherlands, 2006. - digital.
9781402047589
10.1007/978-1-4020-4758-9 doi
Engineering.
Logic design.
Computer science.
Computer aided design.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Logic Design.
Electronic and Computer Engineering.
Mathematical Logic and Formal Languages.
TK7888.4
621.3815
A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta. - Dordrecht : Springer Netherlands, 2006. - digital.
9781402047589
10.1007/978-1-4020-4758-9 doi
Engineering.
Logic design.
Computer science.
Computer aided design.
Electronics.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Logic Design.
Electronic and Computer Engineering.
Mathematical Logic and Formal Languages.
TK7888.4
621.3815