Pour le projet Google Drive Formal Model, c'est ICI
Pour Jean-Marie Hullot c'est >> jmh
Welcome ENSEIRB-MATMECA students!
Please >> register << to IT30405 (IT304 + IT305) class (access reserved to you). Sorry, class is closed!
Once you have registered, and I have processed your registration, you will have access to more resources by connecting AND then signing in
(bottom left of this page) with your Google identifier: you should see the new class
entry under PVS
menu (left pane).