Skip to content

Summary of: Dynamic Structural Operational Semantics.

Christian Johansen, Olaf Owe

VenueBIFM
Year2019
ProceedingsIFM

Browse the full IFM paper archive.