# Maksym Bortin

According to our database

Collaborative distances:

^{1}, Maksym Bortin authored at least 8 papers between 2004 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs.

CoRR, 2020

2018

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Arch. Formal Proofs, 2016

Arch. Formal Proofs, 2016

2010

An approach to the extension of a theorem prover by advanced structuring mechanisms.

PhD thesis, 2010

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2006

Structured Formal Development in Isabelle.

Nord. J. Comput., 2006

2004

Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004