Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers

doi:10.1007/978-3-662-49224-6

Pas de texte intégral

Ouvrage collectif publié en tant qu’éditeur ou directeur (Ouvrages)

Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers

BIANCULLI, Domenico; Calinescu, Radu; Rumpe, Bernhard

2015 • Springer

Permalien
https://hdl.handle.net/10993/24841

DOI
10.1007/978-3-662-49224-6

Documents (0)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

Aucun document disponible.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Editeur scientifique :

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Calinescu, Radu

Rumpe, Bernhard

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers

Date de publication/diffusion :

2015

Maison d'édition :

Springer

Collection et n° de collection :

Lecture Notes in Computer Science, volume 9509

URL complémentaire :

http://dx.doi.org/10.1007/978-3-662-49224-6

Disponible sur ORBilu :

depuis le 22 février 2016

Statistiques

Nombre de vues

155 (dont 0 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex