Published in
Springer Verlag, Lecture Notes in Computer Science, p. 99-115
DOI: 10.1007/978-3-319-73305-0_7
Links
Tools
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 