Return to Article Details
Logical Specification of Operational Semantics
Download
Download PDF