Verification-based software-fault detection

Gladisch, Christoph David · KIT Scientific Publishing

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Gladisch, Christoph David

Publisher

KIT Scientific Publishing

ISBN

9783866446762

Resource access

Open the content from the main option or choose another available source.

DOAB DOAB Books

Entrar por DOAB

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Gladisch, C. D. (s. f.). Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496

MLA

Gladisch, Christoph David. Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496.

Chicago

Gladisch, Christoph David. s. f. Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496.

Harvard

Gladisch, C. D. s. f, Verification-based software-fault detection, KIT Scientific Publishing, available at: https://nodovox.com/record.php?id=204496 [Accessed 9 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Verification-based software-fault detection

Author / contributors: Gladisch, Christoph David

Publisher: KIT Scientific Publishing

ISBN: 9783866446762