Search

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

1. Software engineering and formal methods : 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /: 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. (2016)

Editors:
De Nicola, Rocco; Kühn, Eva
Other Names:
International Conference on Software Engineering and Formal Methods, 14th; STAF (Federation of conferences)
Record Type:
Book
Extent:
1 online resource (xv, 419 pages), 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, 14th 1