Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2009
No file

Dates and versions

hal-00772696 , version 1 (11-01-2013)

Identifiers

  • HAL Id : hal-00772696 , version 1

Cite

Maurizio Gabbrielli, Moreno Falaschi, Catuscia Palamidessi. Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi. Elsevier, 410, pp.4601-4800, 2009, Theoretical Computer Science. ⟨hal-00772696⟩
217 View
0 Download

Share

Gmail Facebook X LinkedIn More