Ian Grima

According to our database, Ian Grima authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Simplifying Contract-Violating Traces

Christian Colombo, Adrian Francalanza, Ian Grima

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012