The Role of Synthesis in Composing Correct Systems

Type de document :
Communication dans un congrès
Information and Software Technologies (ICIST 2013), Oct 2013, Kaunas, Lithuania. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00866584
Contributeur : Marco Autili <>
Soumis le : jeudi 26 septembre 2013 - 17:25:21
Dernière modification le : vendredi 4 octobre 2013 - 11:20:54

Identifiants

  • HAL Id : hal-00866584, version 1

Collections

Citation

Paola Inverardi. The Role of Synthesis in Composing Correct Systems. Information and Software Technologies (ICIST 2013), Oct 2013, Kaunas, Lithuania. 2013. 〈hal-00866584〉

Partager

Métriques

Consultations de la notice

59