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