A generic complete dynamic logic for reasoning about purity and effects (0)

by Till Mossakowski, Lutz Schröder, Sergey Goncharov
Venue:Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008