Algebra and Logic

Proceedings Paper
Kahle,R
SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020
18th International Conference on Software Engineering and Formal Methods (SEFM)
Lecture Notes in Computer Science
2021
12524

192-200
10.1007/978-3-030-67220-1_15