학술논문
CHC Model Validation with Proof Guarantees
Document Type
Conference Paper
Author
Source
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:62-81)
Subject
Language
English
ISSN
16113349
03029743
03029743