ahelwer

ahelwer has asked 1 questions and find answers to 5 problems.

152

EtPoint

51

Vote count

1

questions

5

answers

Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.