36 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

8. Mechanizing proofs of program properties

Gitsels, Martin (1998)


Doctoral and Habilitation Theses

15. Incremental Verification

Juhasz, Uri (2016)


Doctoral and Habilitation Theses

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

Kumar, Pratyush (2014)


Doctoral and Habilitation Theses

24. Rust2Viper: Building a Static Verifier for Rust

Hahn, Florian (2016)


Master and Bachelor Theses


Page 1 of 2

1 2 Next Page › Last Page »