Search

Author/Creator International Conference on Software Engineering and Formal Methods, 13th

1. Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. (2015)

Editors:
Calinescu, Radu C, 1968-; Rumpe, Bernhard
Other Names:
International Conference on Software Engineering and Formal Methods, 13th
Record Type:
Book
Extent:
1 online resource (xi, 369 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Software engineering and formal methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers /: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised selected papers. (2015)

Editors:
Bianculli, Domenico; Calinescu, Radu C, 1968-; Rumpe, Bernhard
Other Names:
International Conference on Software Engineering and Formal Methods, 13th; ATSE (Workshop), 6th; HOFM (Workshop), 2nd; MoKMaSD (Workshop), 4th; VERY*SCART (Workshop), 1st
Record Type:
Book
Extent:
1 online resource (xxix, 325 pages), color illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • International Conference on Software Engineering and Formal Methods, 13th 2