Relational Test Tables

Proceedings of the 8th International Conference on Formal Methods in Software Engineering ◽

10.1145/3372020.3391566 ◽

2020 ◽

Author(s):

Alexander Weigl ◽

Mattias Ulbrich ◽

Suhyun Cha ◽

Bernhard Beckert ◽

Birgit Vogel-Heuser

Download Full-text