![Daryl Zuniga](https://conf.researchr.org/getProfileImage/darylzuniga/5934e3ca-75e2-4a2b-81d6-5d975348734b/small.jpg?1718181832000)
Registered user since Sat 23 Jan 2016
Name:Daryl Zuniga
Affiliation:University of Washington
Personal website: http://darzu.io
Research interests:Formal Verification
Contributions
PLDI 2016-profile
View general profile
View general profile
Registered user since Sat 23 Jan 2016
Contributions