Monografie

Verification-based software-fault detection

Language
Englisch
Identifier
118449603X

Subject
Softwareentwicklung ; Bug ; Fehlererkennung ; Programmverifikation ; Programmextraktion ; Softwaretest ; Testmustergenerierung ; Formale Spezifikationstechnik ; Hochschulschrift

Contributor
Gladisch, Christoph David
Beckert, B.

DOI
10.5445/KSP/1000023002
URN
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
26.01.2023, 1:56 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Monografie

Associated

  • Gladisch, Christoph David
  • Beckert, B.

Other Objects (12)