F.3

• F.3.1 Specifying and Verifying and Reasoning about Programs
  

Данная секция классификатора пока не переведена на русский язык. Приносим свои извинения за временные неудобства