Jure Kukovec

Latest

• Symbolic Model Checking for TLA+ Made Faster