Autor / AutorinILP (Conference)
Autor / AutorinInstitute of Electrical and Electronics Engineers,
Autor / AutorinInternational Symposium of Formal Methods Europe
Autor / AutorinLangtangen, Hans Petter
Autor / AutorinPetridis, Miltos
Neu hinzugefügt... in den letzten 12 Monaten