Hoare Logics for Time Bounds - A Study in Meta Theory.

Maximilian P. L. Haslbeck, Tobias Nipkow

Browse the full TACAS paper archive.