
Fulltext:
93765.pdf
Embargo:
until further notice
Size:
255.1Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2012Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 7226
ISBN
9783642288906
In
Goodloe, A.; Person, S. (ed.), NASA Formal Methods, pp. 326-340Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Goodloe, A.
Person, S.
Organization
Software Science
Book title
Goodloe, A.; Person, S. (ed.), NASA Formal Methods
Page start
p. 326
Page end
p. 340
Subject
Lecture Notes in Computer Science; Software ScienceThis item appears in the following Collection(s)
- Academic publications [232165]
- Electronic publications [115400]
- Faculty of Science [34958]
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.