카테고리:형식 메서드 스텁

이 범주는 Wiki Project Stub 정렬에 의해 유지 관리됩니다.
생성하기 전에 여기에서 새 스텁 템플릿 및 범주를 제안하십시오.

이 범주는 형식적인 방법과 관련된 스텁 기사를 위한 것입니다.확장을 통해 도움을 줄 수 있습니다.
이 범주에 문서를 추가하려면 다음을 사용합니다.{{Formalmethods-stub}}대신에{{stub}}.