Paolo Greci

According to our database, Paolo Greci authored at least 1 paper in 2008.

Collaborative distances:

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

2008

A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.

Paolo Greci, Fabio Martinelli, Ilaria Matteucci

Proceedings of the Leveraging Applications of Formal Methods, 2008