Eliseo Martinez

According to our database, Eliseo Martinez authored at least 1 paper in 2004.

Collaborative distances:

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

2004

Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.

Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro

Proceedings of the MBUI 2004, 2004