Diseño y análisis formal de sistemas de software
FADOSS
North Carolina State University
Raleigh, Estados UnidosPublikationen in Zusammenarbeit mit Forschern von North Carolina State University (1)
2005
-
Editorial track on E-commerce technologies
Proceedings of the ACM Symposium on Applied Computing