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

All the latest 11 Lenovo discount codes so that you can save on your next tech purchase. All coupon content is created by TechRadar. We may earn a commission if you buy through our links. More Info.