Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023).

Marie-Christine Jakobs Nian-Ze Lee

Published in: ACM SIGSOFT Softw. Eng. Notes (2024)

Keyphrases

international workshop
domain driven data mining
revised selected papers
lecture notes in artificial intelligence
selected papers
databases
pacific rim
acm sigkdd
email