enzet/symbolic-execution

Describe diagram notation

enzet opened this issue · 0 comments

enzet commented

Create a comprehensive description of the diagram notation.