A Formal Semantics for PLEX (2004)

by J Erikson, B Lisper
Venue:In Proceedings of the 2nd APPSEM II Workshop, APPSEM’04, Tallin