FingerCI: generating specifications for critical infrastructures.

Filipe Apolinrio, Nelson Escravana, ric Herv, Miguel L. Pardal, Miguel Correia

Browse the full SAC paper archive.