24 Results for (keywords_en:CORRECTNESS)

Subscribe to RSS feed for this result set

9. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)


Doctoral and Habilitation Theses

12. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

18. Quantum error correction (QEC)

Baumann, Rainer (2003)


Master and Bachelor Theses