Static detection of inevitable errors : = Statische Erkennung von unvermeidbaren Fehlern

Hochschulschrift

Object Details

• Alternative title: Statische Erkennung von unvermeidbaren Fehlern
• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch
• Notes: Albert-Ludwigs-Universität Freiburg, Dissertation, 2011

Classification and Topics

• Classification: Informatik
• Keyword: Verifikation ; Programmanalyse ; Fehlererkennung ; Online-Ressource

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Freiburg
• (who): Universität
• (when): 2011
• Creator: Schäf, Martin
• Contributor: Podelski, Andreas

Further information

• URN: urn:nbn:de:bsz:25-opus-82004
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 14.08.2025, 10:55 AM CEST