News
Fewer German tourists are vacationing in the U.S. after reports of Germans being detained by immigration authorities have ...
Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback