ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "theory of arrays"
theory of arrays
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