Enhancing Dafny Support in Visual Studio Code - Hess, Marcel; Kistler, Thomas (My University, 2020)
Keywords: Development Tools; C#; Java Script; .NET; Protocols