Home » user account

pintman

Personal information


Germany

male

Model Checking, Functional Programming, Formal Methods, self-* systems

History


18 years 48 weeks