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