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 ...

Thank you for reporting this station. We will review the data in question. You are about to report this weather station for bad data. Please select the information that is incorrect.