Anna Davitian

According to our database, Anna Davitian authored at least 1 paper in 2010.

Collaborative distances:

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

2010

PESSOA: A Tool for Embedded Controller Synthesis.

Manuel Mazo Jr., Anna Davitian, Paulo Tabuada

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010