Hans-Dieter Hiep

Hans-Dieter Hiep

Interested in theoretical computer science, program verification, and formal methods.
đź“Ť Amsterdam (NL) http://www.hansdieterhiep.nl

Subscribe to Lambda C

Don’t miss out on the latest issues. Sign up now to get access to the library of members-only issues.
jamie@example.com
Subscribe