Inductive assertions and operational semantics (2003)

Cached

Download Links

by J Strother Moore
Venue:CHARME 2003. Volume 2860 of LNCS., Springer-Verlag
Citations:25 - 7 self