Capsules and closures: a small-step approach (2012)

by J-B Jeannin
Venue:Kozen Festschrift. LNCS 7230