Notice de personne
- Notice
Martí-Oliet, Narciso
Responsabilité(s) exercée(s) sur les documents :
Auteur
Source(s) :
Formal Methods [Texte électronique] : Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.- Cham : Springer International Publishing, 2015
Formal Methods [Texte électronique] : Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / edited by Christiano Braga, Narciso Martí-Oliet.- Cham : Springer International Publishing, 2015
Identifiant de la notice : ark:/12148/cb172521515
Notice n° :
FRBNF17252151
Création :
18/02/07