1 paper
Jonathan P. Bowen, Henri Habrias
Jean-Raymond Abrial is one of the central figures in the development of formal methods for software and systems engineering. Over a career spanning more than five decades, he has p…