Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage

Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte loggen Sie sich für Vollzugriff ein: Login

Treffer: Debug-localize-repair: a symbiotic construction for heap manipulations

Title:

Debug-localize-repair: a symbiotic construction for heap manipulations

Authors:

Verma, Sahil^{Aff1, IDs1070302100387z_cor1}, Roy, Subhajit

Source:

Formal Methods in System Design: An International Journal. :1-41

Database:

Springer Nature Journals

Links