VERICOMP: Comparing and Recommending Verified IVP Solvers (Vortrag)

Aus Kompetenzportal
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