Nondeterminism in Formal Specification

L: https://buttondown.email/hillelwayne/archive/nondeterminism-in-formal-specification/

C: https://news.ycombinator.com/item?id=40649407

posted on 2024.06.11 at 13:58:19 (c=0, p=3)