Published in: International Conference on Software Engineering and Formal Methods; Part of the Lecture Notes in Computer Science book series (LNCS, volume 11724)
Authors: Boulaid Boulkroune , Sebastiaan van Aals, Ellen van Nunen, Yoann Descas
Partner: Flanders make
Year of publication: 2019
Place of publication: