ℹ️
🇬🇧
Search
Search for publications relevant for "input heap"
input heap
Publication
Class
Person
Publication
Programmes
Export current view
publication
Handling Heap Data Structures in Backward Symbolic Execution
2020 |
Faculty of Mathematics and Physics
