Diseño y análisis formal de sistemas de software
FADOSS
Utrecht University
Utrecht, HolandaPublicaciones en colaboración con investigadores/as de Utrecht University (1)
2005
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing