Cite this
Email this
Export Record
Save to List
Order a print copy

Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings

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 submiss...

Full description

Saved in:
Bibliographic Details
Other Authors: Calinescu, Radu (Editor)
Rumpe, Bernhard (Editor)
Corporate Author: SpringerLink (online služba) (Distributor) 
Conference: International conference on software egineering and formal methods (13. : 2015 : York, Velká Británie)
Format: eBook
Language:English
Published: Cham ; Heidelberg ; New York ; Dordrecht ; London : Springer, 2015
Series:Lecture notes in computer science
Genre/form:elektronické knihy
sborníky konferencí
ISBN:978-3-319-22969-0
978-3-319-22968-3
Subjects:
Online Access:Plný text
Tags: Add Tag
No Tags, Be the first to tag this record!
Cover Image

Internet

Plný text
Status Sublibrary Description Location LCC Call number Old Call number