Monad-independent Hoare Logic in HasCasl (2003)

Cached

Download Links

by Lutz Schröder , Till Mossakowski
Venue:FUNDAMENTAL ASPECTS OF SOFTWARE ENGINEERING, VOLUME 2621 OF LNCS
Citations:10 - 4 self