Valentina Intilangelo

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Top Venues

Publications

Antonella Santone, Valentina Intilangelo, Domenico Raucci
Application of Equivalence Checking in a Loan Origination Process in Banking Industry. WETICE (2013)
Antonella Santone, Valentina Intilangelo, Domenico Raucci
Efficient Formal Verification in Banking Processes. SERVICES (2013)