21 Results for (keywords_en:CORRECTNESS)

Subscribe to RSS feed for this result set

7. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)


Doctoral and Habilitation Theses

8. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

19. Quantum error correction (QEC)

Baumann, Rainer (2003)


Master and Bachelor Theses