VERICOMP: Comparing and Recommending Verified IVP Solvers (Vortrag)

Aus Kompetenzportal
Version vom 10. Mai 2019, 15:41 Uhr von Aueeka (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |Autor=Ekaterina Auer, Andreas Rauh, Lorenz Gillner, |Tagung=SWIM 2018 |Ort=Rostock |von=2018/07/25 |bis=2018/07/27 |review=editorial |Erscheinungsja…“)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu: Navigation, Suche
VERICOMP: Comparing and Recommending Verified IVP Solvers (Vortrag)
Autor Ekaterina Auer, Andreas Rauh, Lorenz Gillner
Tagung/Veranstaltung SWIM 2018
Ort Rostock
vom 25. Juli 2018 bis 27. Juli 2018
Review editorial
Titel Proceedings
Autor Proceedings
Verlag
Erscheinungsjahr 2018