Experience on Dafny Programming
📝
内容提要
Because of Professor Dillig’s class, I finally got the chance to try out Dafny, a language made by Microsoft Research, with built-in support for formal specification through preconditions,...
➡️
