Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium of Formal Methods Europe
Autor / AutorinLangtangen, Hans Petter
SchlagwortProgramming Languages, Compilers, Interpreters
SchlagwortSoftware Engineering/Programming and Operating Systems