The invariant refinement method

Tomáš Bureš, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, Frantisek Plasil

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'The invariant refinement method'. Together they form a unique fingerprint.

Computer Science