News
Drawing on techniques from logic, algebra and automata theory, ... In Formal Methods for Software Engineering, pp. 455-488. Springer (2022). Back to "Software Engineering" ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback