Verification, Model Checking, and Abstract Interpretation. VMCAI 2023

Book title Buchtitel
Verification, Model Checking, and Abstract Interpretation. VMCAI 2023
 
ISBN
978-3-031-24950-1
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer
 
Volume Band
13881
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bjørner, Nikolaj ; Eisenhofer, Clemens ; Kovács, Laura Satisfiability Modulo Custom Theories in Z3Inproceedings Konferenzbeitrag Jan-2023