markusde

Karma: 170

Joined: больше 3 лет назад

ID: markusde

About

PhD student in formal methods.

Submissions

Visit submission history to see stories and comments by markusde.