CHC Model Validation with Proof Guarantees
Additional information
Authors
Sharygina N.,
Otoni R. B.,
Blicha M.,
Eugster P. T.
Type
Article in conference proceedings
Year
2023
Language
English
Meeting name
IFM 2023
Meeting place
Leiden, The Netherlands
Meeting date
November 13-15, 2023
