2 search results - page 1 / 1 » Verifying C with STL containers via predicate abstraction |
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...