Communication Dans Un Congrès
Année : 2004
Lionel Morel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00293252
Soumis le : vendredi 4 juillet 2008-09:49:27
Dernière modification le : lundi 25 mai 2009-10:52:38
Citer
Lionel Morel, Carron Shankland, Jeremy Bryans. Expressing Iterative Properties Logically in a Symbolic Setting. International Conference on Algebraic Methodology and Software Technology (AMAST'04), 2004, United Kingdom. pp.460-474, ⟨10.1007/b98770⟩. ⟨hal-00293252⟩
11
Consultations
0
Téléchargements