Hoare Logics for Recursive Procedures and Unbounded Nondeterminism (2002)

Cached

Download Links

by Tobias Nipkow
Venue:COMPUTER SCIENCE LOGIC (CSL 2002), VOLUME 2471 OF LNCS
Citations:26 - 3 self