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

No full text

Collective work published as editor or director (Books)

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

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

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

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Editor :

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

Calinescu, Radu

Rumpe, Bernhard

External co-authors :

yes

Language :

English

Title :

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

Publication date :

2015

Publisher :

Springer

Collection name :

Lecture Notes in Computer Science, volume 9509

Additional URL :

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

Available on ORBilu :

since 22 February 2016

Statistics

Number of views

71 (0 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations