Publication year
2012Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 7321
ISBN
9783642307287
In
Derrick, J.; Gnesi, S.; Latella, D. (ed.), Integrated Formal Methods, pp. 268-282Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Derrick, J.
Gnesi, S.
Latella, D.
Treharne, H.
Organization
Software Science
Book title
Derrick, J.; Gnesi, S.; Latella, D. (ed.), Integrated Formal Methods
Page start
p. 268
Page end
p. 282
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [202799]
- Faculty of Science [31860]
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.