Individual acm#F.3.1.3__Mechanical_verification
  >part of:  acm#F.3.1__Specifying_and_Verifying_and_Reasoning_about_Programs  See also acm#D.2.1, acm#D.2.4, acm#D.3.1, acm#E.1.
     >part of:  acm#F.3__LOGICS_AND_MEANINGS_OF_PROGRAMS
        >part of:  acm#F__Theory_of_Computation
           >part of:  acm#ACM_domains_from_the_hierarchy_with_the_A_to_K_categories_at_the_top  A formal merge of the classic ACM hierarchies with the A to K categories at the top, e.g., the 1998 ACM hierarchy 
              >part of:  acm#field_of_study_in_the_ACM_classification
                 >part of:  #computer_science__computational_science__computationalscience  the branch of engineering science that studies (with the aid of computers) computable processes and structures
                    >part of:  #engineering_science__engineeringscience__engineering__appliedscience__technology  the discipline dealing with the art or science of applying scientific knowledge to practical problems; "he had trouble deciding which branch of engineering to study"
           >part of:  acm#Theory
              >part of:  acm#ACM_description_content_related_domain
                 >part of:  acm#ACM_entity_related_domain
                    >part of:  acm#ACM_domains_from_an_hierarchy_with_general_terms_at_the_top  hierarchy based on 41 general terms, including the officially listed 16 general terms 
                       >part of:  acm#field_of_study_in_the_ACM_classification
        >part of:  acm#ACM_logic
           >part of:  acm#ACM_description_content_related_domain
  >part of:  acm#Verification
     >part of:  acm#Reliability
        >part of:  acm#Security
           >part of:  acm#ACM_state_related_domain
              >part of:  acm#ACM_situation_related_domain
                 >part of:  acm#ACM_domains_from_an_hierarchy_with_general_terms_at_the_top  hierarchy based on 41 general terms, including the officially listed 16 general terms 
     >part of:  acm#ACM_process_related_domain
        >part of:  acm#ACM_situation_related_domain

No statement uses or specializes acm#F.3.1.3; click here to add one.


Simple category search: