ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "library abstraction"
library abstraction
Publikace
Předměty
Osoby
Publikace
Studium
publication
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
2019 |
Matematicko-fyzikální fakulta
