Article Dans Une Revue
Acta Informatica
Année : 2016
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02391810
Soumis le : mardi 3 décembre 2019-16:58:14
Dernière modification le : vendredi 24 mars 2023-14:53:14
Citer
Jérôme Leroux, Philipp Rümmer, Pavle Subotić. Guiding Craig interpolation with domain-specific abstractions. Acta Informatica, 2016, 53 (4), pp.387-424. ⟨10.1007/s00236-015-0236-z⟩. ⟨hal-02391810⟩
Collections
17
Consultations
0
Téléchargements