Return to Article Details
Coalgebraic Operational Semantics for an Imperative Language
Download
Download PDF