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

Guiding Craig interpolation with domain-specific abstractions

Dates et versions

hal-02391810 , version 1 (03-12-2019)

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
17 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More