[en français]
last update: 10 May. 2021
IntrosPAC: a tool for teaching and understanding PAC-Amodeus
http://iihm.imag.fr/demos/IntrosPAC/
Christophe Lachenal