![](/img/cover-not-exists.png)
[IEEE 2013 IEEE World Congress on Services (SERVICES) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE Ninth World Congress on Services - Efficient Formal Verification in Banking Processes
Santone, Antonella, Intilangelo, Valentina, Raucci, DomenicoYear:
2013
Language:
english
DOI:
10.1109/services.2013.79
File:
PDF, 1.27 MB
english, 2013