Data independence with predicate symbols

Những quyển sách tương tự

• Programs as executable predicates
  Bằng: Roscoe, A, et al.
  Được phát hành: (1984)
• Programs as Executable Predicates
  Bằng: Hoare, C, et al.
  Được phát hành: (1984)
• Predicate Abstraction via Symbolic Decision Procedures
  Bằng: Shuvendu K. Lahiri, et al.
  Được phát hành: (2007-04-01)
• On Model Checking Data−independent Systems with Arrays without Reset
  Bằng: Roscoe, A, et al.
  Được phát hành: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  Bằng: Roscoe, A, et al.
  Được phát hành: (2004)