Naming elements of SDL text The naming of SDL constructs leads to a simple partition of sets as variable parameters in the corresponding TLA "specification.
確定! 回上一頁