Team Cassis

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

Section: Other Grants and Activities

Visits of Team Members

Véronique Cortier has visited Bogdan Warinschi (University of Bristol) to work on refinement of security systems (April 20-23rd) and on combination techniques for soundness results of symbolic models (October 15-18th).


previous
next

Logo Inria