Formal Methods for Model-Driven Engineering - Lecture Notes in Computer Science
Latest Publications
TOTAL DOCUMENTS
11
(FIVE YEARS 0)
H-INDEX
5
(FIVE YEARS 0)
Published By Springer Berlin Heidelberg
9783642309816, 9783642309823
Keyword(s):