 |
Department
of
Computer Science |
||
5th Annual Postgraduate Conference
in
Computer Science
Ivana Mijajlovic
My research is about data refinement. I will explain what data refinement is, what are the difficulties with the existing methods for proving data refinement, and my approach to tackling these problems.