Published in: International Conference on Software Engineering and Formal Methods; Part of the Lecture Notes in Computer Science book series (LNCS, volume 11724)
Authors: Adam Ligocki, Ales Jelinek and Ludek Zalud
Partner: BUT
Year of publication: 2019
Place of publication: