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

@unpublished{PERR20,
	author = {['Alexander Weigl', 'Mattias Ulbrich', 'Suhyun Cha', '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}
}