Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Heftet /
2015
/ Engelsk
Product details
ISBN
9783319229683
Published
2015-08-21
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
11
This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions.Read more
This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
Read more
Includes supplementary material: sn.pub/extras
GPSR Compliance
The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this.
If you have any concerns about our products you can contact us on ProductSafety@springernature.com.
In case Publisher is established outside the EU, the EU authorized representative is:
Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg, Germany
ProductSafety@springernature.com
Read more
Product details
ISBN
9783319229683
Published
2015-08-21
Publisher
Springer International Publishing AG
Height
235 mm
Width
155 mm
Age
Research, P, 06
Language
Product language
Engelsk
Format
Product format
Heftet
Number of pages
11