Promise Model Checking Problems over a Fixed Model

Kdy: April 19, 2023
Kde:

Seminář / přednáška Promise Model Checking Problems over a Fixed Model.