Lecture The formalization of design 2022 Formalization-lecture lecture, video This content is password-protected. To view it, please enter the password below. Password: