Interpolation in software model checking and fault localization : = Interpolation in Software Model Checking und Defektlokalisierung

Hochschulschrift

Angaben zum Objekt

• Weitere Titel: Interpolation in Software Model Checking und Defektlokalisierung
• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Sprache: Englisch
• Anmerkungen: Albert-Ludwigs-Universität Freiburg, Dissertation, 2014

Klassifikation und Themen

• Klassifikation: Informatik
• Schlagwort: Statische Analyse ; Online-Ressource

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Freiburg
• (wer): Universität
• (wann): 2014
• Urheber: Ermis, Evren
• Beteiligte Personen und Organisationen: Podelski, Andreas

Weitere Informationen

• URN: urn:nbn:de:bsz:25-opus-94277
• Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 25.03.2025, 13:55 MEZ