Abstract: This is an extended abstract of the article “Model Checking C++ Programs” by Felipe R. Monteiro, Mikhail R. Gadelha, and Lucas C. Cordeiro published at the journal of Software Testing, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback