Dafny
von Rustan Leino
Dafny ist eine Programmiersprache und ein verifizierbares Verifizierungstool, das dazu dient, korrekte und sichere Programme zu schreiben.
Alle Dateien sind original, SoftRadar packt oder modifiziert Downloads in keiner Weise.
Dieser Download wird Ihnen KOSTENLOS zur Verfügung gestellt.