![]() |
SRS |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | SRS |
The input type SRS is a subclass of the input type TRS and therefore only the common items are available - just as for the input type TRS. A description of the techniques available can be found in the corresponding techniques chapter.