A Generic Complete Dynamic Logic for Reasoning about Purity and Effects

by Till Mossakowski , Lutz Schröder , Sergey Goncharov
Venue:TO APPEAR IN FORMAL ASPECTS OF COMPUTING
Citations:4 - 1 self