formal technology

فناوری رسمی و نمادین