Formalised inductive reasoning in the logic of bunched implications (2007)

Cached

Download Links

by James Brotherston
Venue:In SAS-14, volume 4634 of LNCS
Citations:4 - 4 self