Using formal methods to develop a complex information system: a practical/theoretical experience.

Csar Andrs, Rafael G. Aranda, Manuel Nez

Browse the full SAC paper archive.