Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) (2010)
Attributed to:
Efficient Verification of Software with Replicated Components
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.48550/arxiv.1011.1036
Publication URI: https://arxiv.org/abs/1011.1036
Type: Other