According to our database1, Maksym Bortin authored at least 8 papers between 2004 and 2020.
Legend:Book In proceedings Article PhD thesis Other
A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
Arch. Formal Proofs, 2016
PhD thesis, 2010
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010
Structured Formal Development in Isabelle.
Nord. J. Comput., 2006
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004