Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
Peter Schrammel and Bertrand Jeannet
Book Title
Static Analysis Symposium‚ SAS'11
Pages
233−248
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6887
Year
2011