Anna Mikhajlova

• Ensuring correctness of object and component systems