Valentina Intilangelo

According to our database, Valentina Intilangelo authored at least 2 papers in 2013.

Collaborative distances:

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

2013

Application of Equivalence Checking in a Loan Origination Process in Banking Industry.

Antonella Santone, Valentina Intilangelo, Domenico Raucci

Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Efficient Formal Verification in Banking Processes.

Antonella Santone, Valentina Intilangelo, Domenico Raucci

Proceedings of the IEEE Ninth World Congress on Services, 2013