Modular Verification of Termination and Execution Time Bounds Using Separation Logic.

Jafar Hamin, Bart Jacobs

Browse the full IRI paper archive.