Sciweavers

24 search results - page 1 / 5
» amast 2004
Sort
View
75
Voted
AMAST
2004
Springer
15 years 2 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe