Model Checking Parameterized by the Semantics in Maude | Publicación