Oleg Sokolsky — Books & Biography | Menrva Books | MenrvaBooks

Oleg Sokolsky

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

Stand Alone

Runtime Verification

Automated Technology for Verification and Analysis 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Automated Technology for Verification and Analysis

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.