
Fulltext:
222157.pdf
Embargo:
until further notice
Size:
322.1Kb
Format:
PDF
Description:
publisher's version
Publication year
2020Publisher
Cham : Springer
ISBN
9783030557546
In
Lecture Notes in Computer Science, (2020)Lee, R. (ed.), NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings, pp. 97-114ISSN
Annotation
NFM 2020
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Lee, R.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Lee, R. (ed.), NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Page start
p. 97
Page end
p. 114
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [204024]
- Electronic publications [102375]
- Faculty of Science [32153]
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.