Using formal methods to develop a complex information system: A practical/theoretical experience
- Andrés, C.
- Aranda, R.G.
- Núñez, M.
Proceedings:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781595937537
Year of publication: 2008
Pages: 848-849
Type: Conference paper