Roast topics
Find topics
Find it!
Are We Serious About Using TLA+ For Statistical Properties?
Should the temporal logic of actions also do performance modeling?
| emptysqua.re
