Conférence "La méthode B : de la recherche à l'enseignement"

Cette conférence, organisée par le laboratoire d'Informatique de Nantes Atlantique (LINA), se déroulera le 8 juin prochain dans le cadre des Journées scientifiques de l'université de Nantes. En 1996, s'est tenue à Nantes la première conférence sur la méthode de spécification formelle "B".