Volver a los detalles del artÃculo
Exploring parallel formal verification of BIG-DATA systems
Descargar
Descargar PDF