enzet/symbolic-execution

Change Z3str3 affiliation to University of Waterloo and IBM Research

enzet opened this issue · 1 comments

enzet commented

Thanks to Vijay Ganesh.

enzet commented

Repeat changes on symbolic-execution diagram.

  • 👍1