"Dafny" - Selaus asiasanan mukaan Opinnäytteet - ylempi korkeakoulututkinto

Viitteet 1-1 / 1

    • Dafny with traits: verifying object oriented programs 

      Ahmadi, Reza (2014)
      Pro gradu -tutkielma
      Dafny is a programming language supporting verified high level programming. It has many features that a modern programming language has, like classes, generic classes, functions, and, methods. However, some aspects of ...