Article citationsMore>>

D’Silva, V., Kroening, D. and Weissenbacher, G.A (2008) A Survey of Automated Techniques for Formal Software Verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27, 1165-1178.
https://doi.org/10.1109/TCAD.2008.923410

has been cited by the following article:

SCIRP Newsletter
Copyright © 2006-2026 Scientific Research Publishing Inc. All Rights Reserved.
Top