Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding

softmc03.pdf
PDF file

In  Electr. Notes Theor. Comput. Sci.

Details

TypeArticle
Volume89
Number3
> Publications > Some Lessons from Using Static Analysis and Software Model Checking for Bug Finding