It also includes a prototypical specification language, the Guppy Specification Language (GSL), which can be used to formally specify aspects of Python .
確定! 回上一頁