A Formal Operational Semantics for SOFL.

Chris Ho-Stuart, Shaoying Liu

Browse the full APSEC paper archive.