Social processes, program verification and all that
SourceMathematical Structures in Computer Science, 19, iss. 5, (2009), pp. 877-896
Article / Letter to editor
Display more detailsDisplay less details
Mathematical Structures in Computer Science
iss. iss. 5
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.