Spécification d’analyseurs de programmes, adaptés aux besoins spécifiques de Surlog
Contact : Therese.Hardin (at) nulllip6.frFrom 06/15/2001 to 11/14/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.
SURLOGTherese HARDIN