A Monad for Basic Java Semantics
Publication year
2000Publisher
Berlin : Springer
ISBN
9783540454991
In
Lecture Notes in Computer Science, (2000)Rus, T. (ed.), Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings, pp. 150-164ISSN
Annotation
AMAST 2000
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Rus, T.
Organization
Security of Systems
Digital Security
Journal title
Lecture Notes in Computer Science
Book title
Rus, T. (ed.), Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Page start
p. 150
Page end
p. 164
Subject
Security of SystemsThis item appears in the following Collection(s)
- Academic publications [246515]
- Electronic publications [134102]
- Faculty of Science [38028]
- Open Access publications [107633]
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.