ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "heap data structures"
heap data structures
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