CHC Model Validation with Proof Guarantees
Informazioni aggiuntive
Autori
Sharygina N.,
Otoni R. B.,
Blicha M.,
Eugster P. T.
Tipo
Contributo in atti di convegno
Anno
2023
Lingua
Inglese
Nome convegno
IFM 2023
Luogo convegno
Leiden, The Netherlands
Data convegno
November 13-15, 2023
