Module developed as part of my master thesis: Symbolic Execution of Higher-order Functions in Big Data System. Presented to Prof. Guido Salvaneschi of the Technische Universität Darmstadt
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool