Stats
183
reputation
0
reached
0
answers
0
questions
About
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.
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
-
AutobiographerJul 11, 2012
Posts
This user hasn’t posted yet.
Top network posts
View all network posts