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

Journal

ACM SIGSOFT Software Engineering Notes

Journal Volume

49

Journal Issue

2

Start Page

25

End Page

26

ISSN

0163-5948

Date Issued

2024-04-03

Author(s)

Marie-Christine Jakobs

DOI

URI

Publisher

Association for Computing Machinery (ACM)

Type

journal article