Loading...
Universal toolmaker at @DEIS-Tools, preaching the gospel of Formal Methods.
Coding for 14 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.