[en français]
last update: 10 May. 2021
In Approches Formelles Pour le Développement des Logiciels - AFADL'2003. 2003.
Yves Ledru, Sophie Dupuy-Chessa
[pdf] [bibtex|json]