Annalizz Vella

According to our database, Annalizz Vella authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Preliminary Results Towards Contract Monitorability.

Annalizz Vella, Adrian Francalanza

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016