Toggle navigation
Radboud Repository
Toggle navigation
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
Radboud Repository
Collections Radboud University
Academic publications
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search Repository
This Collection
Browse
All of Repository
Collections
Departments
Date Issued
Authors
Titles
Document type
This Collection
Departments
Date Issued
Authors
Titles
Document type
Statistics
View Item Statistics
Report from the ECOOP 2004 Workshop on Formal Techniques for Java-Like Programs (FTfJP'04)
Publication year
2004
Author(s)
Coglio, A.
Huisman, M.
Kiniry, J.R.
Müller, P.
Poll, E.
Publisher
Berlin / Heidelberg : Springer
Series
Lecture Notes in Computer Science ; 3344
ISBN
9783540239888
Annotation
sixth Workshop on Formal Techniques for Java-like Programsat ECOOP 2004
Publication type
Book editorial
Please use this identifier to cite or link to this item:
https://hdl.handle.net/2066/60446
Display more details
Display less details
Organization
Security of Systems
Subject
Lecture Notes in Computer Science; Security of Systems
This item appears in the following Collection(s)
Academic publications
[227437]
Faculty of Science
[33757]
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.