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" ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback