Autor / AutorinILP (Conference)
Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium of Formal Methods Europe
Autor / AutorinLangtangen, Hans Petter
SchlagwortProgramming Languages, Compilers, Interpreters