
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Synopsis
About this book
- Language:English
- ISBN:9783662492246
- Release date:Jan 12, 2016
- Publisher:Springer Berlin Heidelberg
- Imprint:Springer
- File format:EPUB2
- File size:4.06 MB
- Download options:EPUB2 (Adobe DRM)
In this series
Software Architecture. ECSA 2025 Tracks and Workshops
Domenico Bianculli,Hassan Sartaj,Vasilios Andrikopoulos,Cesare Pautasso,Tommi Mikkonen,Jennifer Perez,Tomáš Bureš,Martina De Sanctis,Henry Muccini,Elena Navarro,Mohamed Soliman,Uwe Zdun























































