The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles
- Franz Wotawa*
- , Vlad Andrei Dumitru
*Korrespondierende/r Autor/-in für diese Arbeit
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung