Sergiy Bogomolov
Identifiers
- Open LibraryOL9715658A
Top Subjects
- Computer software, verification (1)
Books by Sergiy Bogomolov
Total count: 2
-
Numerical Software Verification9th International Workshop, NSV 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selected PapersSpringer International Publishing AG2017-01-01
-
Formal Modeling and Analysis of Timed Systems20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, ProceedingsSpringer International Publishing AG2022-01-01