César Andrés, Rafael G. Aranda, Manuel Núñez. Using formal methods to develop a complex information system: a practical/theoretical experience. In Roger L. Wainwright, Hisham Haddad, editors, Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008. pages 848-849, ACM, 2008. [doi]
Abstract is missing.