tla+, p-lang, property-based testing, simulations
No more posts from bugzmanov's subscribed feeds.
Press ? anytime to show this help