presented at event 11th International Conference on Software Engineering and Formal Methods (SEFM) Conference
keywords Computer Science Computer Science, Software Engineering Computer Science, Theory & Methods Science & Technology Technology