Sciweavers

24 search results - page 1 / 5
» amast 2004
Sort
View
58
Voted
AMAST
2004
Springer
15 years 3 months ago
Model-Checking Systems with Unbounded Variables without Abstraction
Magali Contensin, Laurence Pierre
73
Voted
AMAST
2004
Springer
15 years 1 months ago
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs
Bertrand Jeannet, Wendelin Serwe