Ray, Sandip.
Scalable Techniques for Formal Verification [electronic resource] / by Sandip Ray. - Boston, MA : Springer US, 2010. - digital.
9781441959980
10.1007/978-1-4419-5998-0 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815
Scalable Techniques for Formal Verification [electronic resource] / by Sandip Ray. - Boston, MA : Springer US, 2010. - digital.
9781441959980
10.1007/978-1-4419-5998-0 doi
Engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
TK7888.4
621.3815