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