25 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. Hard real-time guarantees in cyber-physical systems

Kumar, Pratyush (2014)


Doctoral and Habilitation Theses

13. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

15. Quantum error correction (QEC)

Baumann, Rainer (2003)


Master and Bachelor Theses