IARI
  • Member for 9 years, 6 months
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
Posts

This user hasn’t posted yet.