Mikhail Semenyuk

According to our database, Mikhail Semenyuk authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk, Mark Batty, Brijesh Dongol

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Ownership-Based Owicki-Gries Reasoning.

Mikhail Semenyuk, Brijesh Dongol

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023