For his doctoral thesis, in which Jung established the first formal foundations for safe systems programming in Rust, he has now received several internationally renowned awards. Ralf Jung is a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback