학술논문
Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL
Document Type
Conference Paper
Author
Source
In: Structured Object-Oriented Formal Language and Method - 8th International Workshop, SOFL+MSVL 2018, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11392 LNCS:125-145)
Subject
Language
English
ISSN
16113349
03029743
03029743