Refinement patterns for ASTDs
Résumé
no abstract
Article Dans Une Revue
Formal Asp. Comput.
Année : 2014
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01575321
Soumis le : vendredi 18 août 2017-18:17:53
Dernière modification le : vendredi 24 mars 2023-14:53:05
Citer
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau. Refinement patterns for ASTDs. Formal Asp. Comput., 2014, 26 (5), pp.919--941. ⟨10.1007/s00165-013-0286-3⟩. ⟨hal-01575321⟩
43
Consultations
0
Téléchargements