ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "input heap"
input heap
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Matematicko-fyzikální fakulta