Search

Author/Creator International Conference on Integrated Formal Methods, 12th

1. Integrated formal methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. (2016)

Editors:
Ábrahám, Erika; Huisman, Marieke
Other Names:
International Conference on Integrated Formal Methods, 12th
Record Type:
Book
Extent:
1 online resource (xiv, 538 pages), illustrations
View Content:
Available online (eLD content is only available in our Reading Rooms) ↗

Limit your search

  • International Conference on Integrated Formal Methods, 12th 1