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

Maximilian P. L. Haslbeck, Tobias Nipkow (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics