2 search results - page 1 / 1 » Verifying C with STL containers via predicate abstraction |
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
148
click to vote
ATVA
2006
Springer
15 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...