Published in
Springer Verlag, Lecture Notes in Computer Science, p. 464-466
DOI: 10.1007/978-3-662-46681-0_46
Links
Tools
FuncTion: An Abstract Domain Functor for Termination
Proceedings article published in 2015 by
Caterina Urban
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 
Abstract
International audience