Editor choice(As an Amazon Associate I earn from qualifying purchases)
Formal Methods for Industrial Critical Systems: 31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings (Lecture Notes in Computer Science, 16967)