Sciweavers

3 search results - page 1 / 1
» sas 1998
Sort
View
61
Voted
SAS
1998
Springer
15 years 2 months ago
Program Analysis as Model Checking of Abstract Interpretations
David A. Schmidt, Bernhard Steffen