DMCA

On the Organisation of Program Verification Competitions

by Marieke Huisman , Vladimir Klebanov , Rosemary Monahan
Citations:1 - 0 self