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