Using formal methods to develop a complex information system: A practical/theoretical experience
- Andrés, C.
- Aranda, R.G.
- Núñez, M.
Aktak:
Proceedings of the ACM Symposium on Applied Computing
ISBN: 9781595937537
Argitalpen urtea: 2008
Orrialdeak: 848-849
Mota: Biltzar ekarpena