Diseño y análisis formal de sistemas de software
FADOSS
Utrecht University
Utrecht, HolandaUtrecht University-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2005
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing