Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel

Contributions de Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel

• Auteur