Search

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

1. Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings /: 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings. (2017)

Editors:
Cimatti, Alessandro; Sirjani, Marjan
Other Names:
International Conference on Software Engineering and Formal Methods, 15th
Record Type:
Book
Extent:
1 online resource (xix, 410 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

2. Software engineering and formal methods : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers /: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised selected papers. ([2018])

Editors:
Cerone, Antonio; Roveri, Marco
Other Names:
International Conference on Software Engineering and Formal Methods, 15th; DataMod (Symposium), 6th; FAACS (Workshop), 1st; MSE (Workshop), 1st; CoSim-CPS (Workshop), 1st; International Workshop on the Foundations of Coordination Languages and Software Architectures, 15th
Record Type:
Book
Extent:
1 online resource (x, 592 pages), 204 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, 15th 2