Section: Other Grants and Activities
International initiatives
Taiwan
We have an ORCHID project with the National Taiwan University (Taipei, Taiwan) on Formal Methods for Software Security.
Team
Proval
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography