CL1 - J.R. Abrial, un pionnier du développement scientifique des langages informatiques et des méthodes formelles et de leur application à grande échelle dans l’industrie Lien CL1/JS2025 détailsDiscussion Christian “Béret rouge sans limite” pdfsee AeLoS and Coloss presentations