Publications
Export 1 results:
Author Title Type [ Year] Filters: First Letter Of Title is C and Author is Rodrigo Otoni [Clear All Filters]
CHC Model Validation with Proof Guarantees,
, 18th International Conference on integrated Formal Methods (iFM23), (2023)