Rodriguez Caldeira, Luciana, Universidad Abierta Interamericana-CAETI, Argentina

• Ciencia y Tecnología Ciencia y Tecnología 21 - Artículos
  Exploring parallel formal verification of BIG-DATA systems
  Resumen  PDF