Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„gradual verification“
Suchergebnisse
2 Treffer
Gradual Program Analysis for Null Pointers
Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua
2021
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Verification of abrupt and gradual shifts in Iranian precipitation and temperature data with statistical methods and stations metadata
Bazrafshan, Javad ; Cheraghalizadeh, Majid