Publication Date:
2014
abstract:
17th International Conference, FASE 2014 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 Proceedings
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Software Engineering; Formal methods
List of contributors: