Guiding Craig interpolation with domain-specific abstractions - Archive ouverte HAL
Article Dans Une Revue Acta Informatica Année : 2016

Guiding Craig interpolation with domain-specific abstractions

Fichier principal
Vignette du fichier
FULLTEXT02.pdf (853.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02391810 , version 1 (14-11-2024)

Identifiants

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

CNRS UNIV-BORDEAUX
23 Consultations
1 Téléchargements

Altmetric

Partager

More