Hets - the Heterogeneous Tool Set
ATC.Result
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): DiagKind Diagnosis Result
DiagKind
Diagnosis
Result