Formalization and Implementation of Algebraic Methods in Geometry - Filip Maric; Ivan Petrovic; Danijela Petrovic; Predrag Janicic (ThEdu, 2011)

Using Small-Step Refinement For Algorithm Verification In Computer Science Education. - Danijela Petrovic (CICM Workshops, 2014)

Verification of Selection and Heap Sort Using Locales. - Danijela Petrovic (Arch. Formal Proofs, 2014)

Formalizing complex plane geometry. - Filip Maric; Danijela Petrovic (Ann. Math. Artif. Intell., 2015)