Published in
Springer Verlag, Lecture Notes in Computer Science, p. 43-62
DOI: 10.1007/978-3-642-38856-9_5
Links
Tools
The Abstract Domain of Segmented Ranking Functions
Journal article published in 2013 by
Caterina Urban
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 