👤 Ashok Kelur

Verifying multicore software : A case study.. Ashok Kelur