Hacker News new | ask | show | jobs
Voucher System verification using TLA+ (moritz.systems)
1 points by vs2 2107 days ago