Team Lande

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Contracts and Grants with Industry

Keywords : Object-oriented programs, Program verification.

The COST Action IC0701

Participants : Thomas Jensen, David Pichardie.

COST Action IC0701 is an European scientific cooperation. The Action aims to develop verification technology with the power to ensure dependability of object-oriented programs on industrial scale. The action is composed of 15 countries.


previous
next

Logo Inria