Skip to content

Logical Specification of Operational Semantics.

Peter D. Mosses

VenueBCSL
Year1999
ProceedingsCSL

Browse the full CSL paper archive.