Team Cassis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Dissemination

Ph. D. Theses

Daniele Zucchelli has defended his Ph. D. thesis in co-tutelle with the University Henri Poincaré - Nancy 1 and the University of Milan, entitled “ Combination Methods for Verification Problems ”, supervised by S. Ghilardi and M. Rusinowitch, on January 22, 2008.


previous
next

Logo Inria