Model Checking to Support Action Controls in the Purchasing Process.

Vittoria Nardone, Domenico Raucci, Antonella Santone

Browse the full WETICE paper archive.