News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by geoka9 on Saturday February 22, 2020 @10:06PM (#22394825)
This conference paper has an anecdote: https://www.researchgate.net/publication/220757452_Specifyin...
[ Parent | on HN ]

There are no comments on this comment yet.