Notice de personne
- Notice
Ravara, António
Responsabilité(s) exercée(s) sur les documents :
Auteur
Source(s) :
Web Services, Formal Methods, and Behavioral Types [Texte électronique] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.- Cham : Springer International Publishing, 2016
Web Services, Formal Methods, and Behavioral Types [Texte électronique] : 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / edited by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich.- Cham : Springer International Publishing, 2016
Identifiant de la notice : ark:/12148/cb17271293j
Notice n° :
FRBNF17271293
Création :
18/02/07