ℹ️
🇬🇧
Search
Search for publications relevant for "library abstraction"
library abstraction
Publication
Class
Person
Publication
Programmes
Export current view
publication
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
2019 |
Faculty of Mathematics and Physics
