Steps and traces*
SourceJournal of Logic and Computation, 31, 6, (2021), pp. 1482-1525
Article / Letter to editor
Display more detailsDisplay less details
Security of Systems
Journal of Logic and Computation
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.