IARI
183
reputation
1
9
I am a student of computer science at the University of Freiburg.
Currently I am working on my Bachelor thesis about Petri Nets in the context of trace abstraction for automated program verification.