Automated Correction of Design Rule Violations in Source Code Using Logical Abduction
-
heftet
,
Engelsk, 2021