26 Results for (keywords_en:CORRECTNESS)

Subscribe to RSS feed for this result set

Page 1 of 2

1 2 Next Page › Last Page »

2. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)


Doctoral and Habilitation Theses

6. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

17. Hard real-time guarantees in cyber-physical systems

Kumar, Pratyush (2014)


Doctoral and Habilitation Theses

19. Quantum error correction (QEC)

Baumann, Rainer (2003)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »