사후 조건

챕터

페이지

태그

단어 정의

생성 일시

2024/01/23 09:38

함수 진입 이후에 성립해야 하는 조건을 명시