Guaranteeing safe destructive updates through a type system with uniqueness information for graphs
Nijmegen : S.l.
Technical Report ; CSI-R93-04
External research report
Display more detailsDisplay less details
Security of Systems
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.