A Generic Dynamic Logic for Program Reasoning Based on Operational Semantics.

Yuanrui Zhang, Zhibin Yang

Browse the full SETTA paper archive.