Nikolai Kosmatov profile picture

Nikolai Kosmatov

Is this your author profile? Create an account to customize it!

Stand Alone

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Integrated Formal Methods