Guarded transitions in evolving specifications

Ítems similars

• Evolving specification engineering
  per: Pavlovic, D, et al.
  Publicat: (2008)
• Towards semantics of guarded induction
  per: ́Pavlovic, D
  Publicat: (1998)
• Guarded induction on final coalgebras
  per: ́Pavlovic, D
  Publicat: (1998)
• Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
  per: Kazakov, Y, et al.
  Publicat: (2015)
• A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
  per: Kazakov, Y
  Publicat: (2004)