Powerful Equivalence Checking in the Bank Supply Process.

Giuseppe De Ruvo, Antonella Santone, Domenico Raucci

Browse the full SERVICES paper archive.