Visual Studio Code Integration for the Dafny Language and Ptrogramm Verifier - Krucker, Rafael; Schaden, Markus (My University, 2017)
Keywords: Development Tools; Java; Eclipse; Windows; MacOSX; Unix, Linux