Oksana Tkachuk profile picture

Oksana Tkachuk

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

Stand Alone

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings