Sites Inria

There are 1 Results with the keyword : "formal methods"

Crédit photo : Pierre Jayet – Grenoble Tourisme et Congrès © Pierre Jayet – Grenoble Tourisme et Congrès

Conference

SEFM 2014 : Software Engineering and Formal Methods

1/09/2014 to 5/09/2014

The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 1-5, 2014 . The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. SEFM 2014 is organized by Inria and supported by Grenoble INP, University Joseph-Fourier, LIG, and CNRS.

Keywords:

Home > Centre > Grenoble > Calendar > SEFM 2014 : Génie Logiciel et Méthodes Formelles

lire la suite

Top