Debugging Formal Specifications with Simplified Counterstrategies

Robert Könighofer

Research output: ThesisDiploma ThesisResearch

Original languageEnglish
Publication statusPublished - 2009

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Cite this

Debugging Formal Specifications with Simplified Counterstrategies. / Könighofer, Robert.

2009.

Research output: ThesisDiploma ThesisResearch

@phdthesis{9dcea16bdbe34b8094ae5ef8faab4305,
title = "Debugging Formal Specifications with Simplified Counterstrategies",
author = "Robert K{\"o}nighofer",
year = "2009",
language = "English",

}

TY - THES

T1 - Debugging Formal Specifications with Simplified Counterstrategies

AU - Könighofer, Robert

PY - 2009

Y1 - 2009

M3 - Diploma Thesis

ER -