Relational test tables: A practical specification language for evolution and security

@unpublished{PERR20,
  author    = {Alexander Weigl and Mattias Ulbrich and Suhyun Cha and Bernhard Beckert Birgit Vogel{-}Heuser},
  title     = {Relational Test Tables: A Practical Specification Language for Evolution and Security},
  note = {PERR 2020: 4th Workshop on Program Equivalence and Relational Reasoning},
  year      = 2020,
}```