Spécification d’analyseurs de programmes, adaptés aux besoins spécifiques de Surlog

Contact : Therese.Hardin (at) nulllip6.fr
Du 15/06/2001 au 14/11/2001

Spécification d’analyseurs de programmes, adaptés aux besoins spécifiques de Surlog.Aide dans la rechrche de réponse aux problèmes de sûreté de fonctionnement, introduits par certaines méthodes récentes de programmation.

SURLOG

Therese HARDIN