Skip to Main content Skip to Navigation
Books

Abstract Interpretation and Logic Programming: Festschrift in honor of professor Giorgio Levi

Document type :
Books
Complete list of metadata

https://hal.inria.fr/hal-00772696
Contributor : Catuscia Palamidessi <>
Submitted on : Friday, January 11, 2013 - 2:37:10 AM
Last modification on : Friday, June 4, 2021 - 9:44:02 AM

Identifiers

  • HAL Id : hal-00772696, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

371