Hets - the Heterogeneous Tool Set
ATC.Id
Description
Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Pos Range Token Id
Pos
Range
Token
Id