# Roman Kireev

According to our database

Collaborative distances:

^{1}, Roman Kireev authored at least 2 papers in 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019