EVOLP: Tranformation-Based Semantics

Martin Slota, Fariba Sadri, João Leite, Ken Satoh,

URL	http://dx.doi.org/10.1007/978-3-540-88833-8_7
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	5056
URL	http://dx.doi.org/10.1007/978-3-540-88833-8_7
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	5056

Publication