View of Exploring parallel formal verification of BIG-DATA systems

Return to Article Details Exploring parallel formal verification of BIG-DATA systems Download Download PDF