Daniele Dell’Erba, Yong Li, Sven Schewe.

In Proceedings of the 37th International Symposium on Formal Methods (FM 2024), pp. 48–66. 2024.