TLA+ spec finds bugs in Apache BookKeeper

Y	Hacker News new \| ask \| show \| jobs

	TLA+ spec finds bugs in Apache BookKeeper (github.com)
	2 points by lemmster 1940 days ago

1 comments