2,619
次編輯
Tankianting(討論 | 貢獻) |
Tankianting(討論 | 貢獻) (→參考) |
||
行 91: | 行 91: | ||
== 參考 == | == 參考 == | ||
* https://dafny.org/dafny/OnlineTutorial | |||
* https://dafny.org/dafny/Installation | * https://dafny.org/dafny/Installation | ||
* [https://www.cse.unsw.edu.au/~anymeyer/2011/refs/GettingStarted.pdf Tutorial: Making a start in Dafny] by Albert Nymeyer | * [https://www.cse.unsw.edu.au/~anymeyer/2011/refs/GettingStarted.pdf Tutorial: Making a start in Dafny] by Albert Nymeyer | ||
[[category:資訊]] | [[category:資訊]] |