Hoare logics for recursive procedures and unbounded nondeterminism (2002)

by T Nipkow
Venue:In CSL ’02: Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic