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

by James Brotherston
Venue:In Proc. SAS’07, volume 4634 of LNCS