International Summer School Marktoberdorf (Germany)


Calculational System Design

from July 28 to August 9, 1998

An Advanced Study Institute of the NATO Science Committee
and the Institut für Informatik, Technische Universität München, Germany.

Calculational Design of Semantics and Static Analyzers by Abstract Interpretation

Patrick Cousot

Retour à / back to: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:22:54 CEST