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
SchlagwortSoftware Engineering/Programming and Operating Systems
Autor / AutorinInternational Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems