TACAS Best Student Paper Award

Award Date

January 2007

Organization

Award Recipient(s)

Zvonimir Rakamaric

Best Student Paper Award
Title: A reachability predicate for analyzing low-level software

Please note that award recipients without hyperlinks indicates they do not have a profile with the department (typically students)