NUK - logo

Rezultati iskanja

Osnovno iskanje    Ukazno iskanje   

Trenutno NISTE avtorizirani za dostop do e-virov NUK. Za polni dostop se PRIJAVITE.

3 4 5
zadetkov: 41
41.
  • The Dafny Integrated Development Environment
    Leino, K. Rustan M; Wüstholz, Valentin arXiv.org, 04/2014
    Paper, Journal Article
    Odprti dostop

    In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the need for improving the ...
Celotno besedilo

Nalaganje filtrov