Precise Widening Operators for Proving Termination by Abstract Interpretation

Full text: Download

Publisher: Springer Verlag (Germany)

Deposited. Deposit again