ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "refinement correctness"
refinement correctness
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
AsmRefProver - Asmeta Refinement correctness Prover
Publikace bez příslušnosti k fakultě
publication
Refinement Correction Strategy for Invalid XML Documents and Regular Tree Grammars
2014 |
Matematicko-fyzikální fakulta
publication
SMT-based automatic proof of ASM model refinement
2016 |
Matematicko-fyzikální fakulta