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
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).