Automatic Verification of a Hydroelectric Power Plant.

Rosario Pugliese, Enrico Tronci

Browse the full FM paper archive.