Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies

Robert Könighofer, Georg Hofferek, Roderick Paul Bloem

Research output: Contribution to journalArticlepeer-review

Filter
Finished

Search results