CPV: A Circuit-Based Program Verifier
Part Of
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Start Page
365
End Page
370
ISSN
0302-9743
1611-3349
ISBN (of the container)
978-303157255-5
ISBN
9783031572555
9783031572562
Date Issued
2024
Author(s)
Po-Chun Chien
Event(s)
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024
Publisher
Springer Nature Switzerland
Type
conference paper