Search

Author/Creator Cimatti, Alessandro

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) ↗

Limit your search