Author: "Gianluca Amato" / Journal: sas - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Gianluca Amato"' showing total 3 results

Start Over Author "Gianluca Amato" Journal sas

3 results on '"Gianluca Amato"'

1. Localizing Widening and Narrowing.

Author: Gianluca Amato and Francesca Scozzari
Published: 2013
Full Text: View/download PDF

2. Deriving Numerical Abstract Domains via Principal Component Analysis.

Author: Gianluca Amato, Maurizio Parton, and Francesca Scozzari
Published: 2010
Full Text: View/download PDF

3. Abstract Interpretation Based Semantics of Sequent Calculi.

Author: Gianluca Amato and Giorgio Levi
Published: 2000
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results