Published in
Springer Verlag, Lecture Notes in Computer Science, p. 136-152
DOI: 10.1007/978-3-662-54577-5_8
Links
Tools
Precise Widening Operators for Proving Termination by Abstract Interpretation
Book chapter published in 2017 by
Nathanaël Courant 
,
Caterina Urban
,
Caterina Urban
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 