Asteasuain, Fernando, Universidad Nacional de Avellaneda, Argentina

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