Individual km#logic_for_reasoning_about_computer_programs
  >part of:  km#mathematical_logic__symbolic_logic__metamathematics__metamathematic
  >part:  km#Hoare_logic
  >part:  km#logic_for_reasoning_about_concurrent_processes_or_mobile_processes
     >part:  km#CSP
     >part:  km#CCS
     >part:  km#pi-calculus
  >part:  km#logic_for_capturing_computability__logicforcapturingcomputability
     >part:  km#computability_logic__computabilitylogic

No statement uses or specializes km#logic_for_reasoning_about_computer_programs; click here to add one.