Precise Widening Operators for Proving Termination by Abstract Interpretation

Book chapter published in 2017 by Nathanaël CourantORCID, Caterina Urban

Full text: Download

Publisher: Springer Verlag (Germany)

Deposited. Deposit again