ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "weakest precondition"
weakest precondition
Publikace
Předměty
Osoby
Publikace
Studium
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Matematicko-fyzikální fakulta
publication
Predicate Abstraction in Java Pathfinder
2013 |
Matematicko-fyzikální fakulta
