Report - Application industrielle de la Méthode formelle B©sentationClearsyCEAT_01-11... · Modèle plus riche (raffinement) écrit en B La théorie de B indique ce qu’il faut prouver

Please pass captcha verification before submit form