Abstraction−based Satisfiability Solving of Presburger Arithmetic
Daniel Kroening‚ Joel Ouaknine‚ Sanjit Seshia and Ofer Strichman
Details
| Book Title |
Proceedings of CAV 2004 |
| Editor |
Rajeev Alur and Doron A. Peled |
| ISBN |
3−540−22342−8 |
| Month |
July |
| Number |
3114 |
| Pages |
308–320 |
| Series |
LNCS |
| Year |
2004 |
Links
Related pages
|
People |