Rechercher

[DGM14] Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event

Directions d'ouvrages scientifiques : April 2014, EPTCS,

Auteurs: C. Dubois , D. Giannakopoulou , D. Méry

Mots clés: Formal methods, tools, IDE

Résumé: Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014

Equipe: sys
Collaboration: NASA - ARC

BibTeX

@book {
DGM14,
title="{Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event}",
author="C. Dubois and D. Giannakopoulou and D. Méry",
year=2014,
publisher="EPTCS",
}