Danijela Petrovic

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Selection Criteria

Top Venues

Ann. Math. Artif. Intell.

Arch. Formal Proofs

Publications

Filip Maric, Danijela Petrovic
Formalizing complex plane geometry. Ann. Math. Artif. Intell. 74 (3-4) (2015)
Danijela Petrovic
Using Small-Step Refinement For Algorithm Verification In Computer Science Education. CICM Workshops (2014)
Danijela Petrovic
Verification of Selection and Heap Sort Using Locales. Arch. Formal Proofs 2014 (2014)
Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
Formalization and Implementation of Algebraic Methods in Geometry ThEdu (2011)