Filter
Sökt på: Sökresultat
Filter
1 träff
AI Verification
E-bok,
2024,
Engelska,
ISBN 9783031651120
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics …