Post-condition

Материал из WikiGrapp

Post-condition --- постусловие.