Using formal methods to develop a complex information system: A practical/theoretical experience
- Andrés, C.
- Aranda, R.G.
- Núñez, M.
Actes:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781595937537
Any de publicació: 2008
Pàgines: 848-849
Tipus: Aportació congrés