Elena Troubitsyna profile picture

Elena Troubitsyna

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

Stand Alone

Dependability and Computer Engineering
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings