Efficient Formal Verification in Banking Processes.

Antonella Santone, Valentina Intilangelo, Domenico Raucci

Browse the full SERVICES paper archive.