Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie
The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. Talks will be in French.
No comments:
Post a Comment