Publication year
2016Publisher
Cham : Springer International Publishing
ISBN
9783319336930
In
Lecture Notes in Computer Science, (2016)Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings, pp. 295-310ISSN
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Ábrahám, E.
Huisman, M.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Ábrahám, E.; Huisman, M. (ed.), Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Page start
p. 295
Page end
p. 310
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [204968]
- Electronic publications [103218]
- Faculty of Science [32332]
- Open Access publications [71772]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.