DMCA

About Hoare logics for higher-order store (2005)

Cached

Download Links

by Bernhard Reus , Thomas Streicher
Venue:In ICALP, volume 3580
Citations:11 - 2 self