TY  - BOOK
AU  - Bianculli,Domenico
AU  - Calinescu,Radu
AU  - Rumpe,Bernhard
TI  - Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers 
SN  - 9783662492246
PY  - 2015///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computers
KW  - Algorithms
KW  - Mathematical statistics
KW  - Database management
KW  - Artificial intelligence
N1  - Automating Test Case Design, Selection and Evaluation -- Human-Oriented Formal Methods -- Modelling and Knowledge Management Applications: Systems and Domains -- Art of Service Composition and Formal Verification for Self-* Systems
UR  - http://dx.doi.org/10.1007/978-3-662-49224-6
ER  -