Speeding Up Logico−Numerical Strategy Iteration
David Monniaux and Peter Schrammel
Book Title
Static Analysis Symposium‚ SAS'14
Pages
253–267
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
8723
Year
2014
David Monniaux and Peter Schrammel