skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Efficient Formal Verification in Banking Processes

Santone, A., V. Intilangelo, and D. Raucci, "Efficient Formal Verification in Banking Processes", IEEE Ninth World Congress on Services, SERVICES: IEEE, pp. 325-332, 2013.