Igor Konnov

Latest

• Symbolic Model Checking for TLA+ Made Faster