Using formal methods to develop a complex information system: A practical/theoretical experience
- Andrés, C.
- Aranda, R.G.
- Núñez, M.
Actas:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781595937537
Ano de publicación: 2008
Páxinas: 848-849
Tipo: Achega congreso