The VASY team has been involved in several collaborations with Bull, most of which started in the framework of Dyade (1996-2001), a joint venture for advanced research between Bull and INRIA.
These collaborations are the following:
The Dyade/Vasy action between Bull and INRIA (1995-1998),
The Dyade/FormalCard action between Bull SmartCards and INRIA (2000-2001).
Back to the VASY Home Page