Danijela Petrovic

According to our database, Danijela Petrovic authored at least 4 papers between 2011 and 2015.

Collaborative distances:

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

2015

Formalizing complex plane geometry.

Filip Maric, Danijela Petrovic

Ann. Math. Artif. Intell., 2015

2014

Verification of Selection and Heap Sort Using Locales.

Danijela Petrovic

Arch. Formal Proofs, 2014

Using Small-Step Refinement For Algorithm Verification In Computer Science Education.

Danijela Petrovic

Proceedings of the Joint Proceedings of the MathUI, 2014

2011

Formalization and Implementation of Algebraic Methods in Geometry

Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011