WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria

Invited Speaker

Reiner Hähnle   TU Darmstadt (slides) Refined Resource Analysis Based on Cost Relations