
Fulltext:
93988.pdf
Embargo:
until further notice
Size:
239.9Kb
Format:
PDF
Description:
Publisher’s version
Publication year
2012Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science ; 7230
ISBN
9783642294846
In
Constable, R.; Silva, A. (ed.), Logic and Program Semantics, pp. 149-164Publication type
Part of book or chapter of book

Display more detailsDisplay less details
Editor(s)
Constable, R.
Silva, A.
Organization
Software Science
Book title
Constable, R.; Silva, A. (ed.), Logic and Program Semantics
Page start
p. 149
Page end
p. 164
Subject
Lecture Notes in Computer Science; Data ScienceThis item appears in the following Collection(s)
- Academic publications [234419]
- Electronic publications [117464]
- Faculty of Science [34584]
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.