Formal techniques for java programs
Publication year
1999Publisher
Berlin : Springer
ISBN
9783540465898
In
Lecture Notes in Computer Science, (1999)Demeyer, S. (ed.), Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings, pp. 97-115ISSN
Annotation
ECOOP'99
Publication type
Article in monograph or in proceedings
Display more detailsDisplay less details
Editor(s)
Demeyer, S.
Organization
Security of Systems
Journal title
Lecture Notes in Computer Science
Book title
Demeyer, S. (ed.), Object-Oriented Technology. ECOOP'99 Workshop Reader: ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings
Page start
p. 97
Page end
p. 115
Subject
Security of SystemsThis item appears in the following Collection(s)
- Academic publications [245262]
- Faculty of Science [37522]
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.