2,617
次編輯
「Dafny雜記」修訂間的差異
跳至導覽
跳至搜尋
→參考
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:資訊]] | ||