An extension of lazy abstraction with interpolation for programs with arrays

From MaRDI portal

(Redirected from Publication:479820)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=An_extension_of_lazy_abstraction_with_interpolation_for_programs_with_arrays&oldid=62146707"