Leonhard Staut

Saarland University Computer Science

I am Leonhard Staut and I have done my Bachelor's thesis about the formalization of nu-trees at the Programming Systems Lab.


Legal notice, Privacy policy