Titre:
  • Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016 held as part of the european joint conferences on theory and practice of software, ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 proceedings
Auteur:Chechik, Marsha; Raskin, Jean-François
Informations sur la publication:Lecture notes in computer science, 9636, page (7-8)
Statut de publication:Publié, 2016
Sujet CREF:Informatique générale
Informatique mathématique
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:doi/10.1007/978-3-662-49674-9
info:scp/84964037928