Catherine Meadows. Using traces based on procedure calls to reason about composability. In 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992. pages 177-188, IEEE Computer Society, 1992. [doi]
No references recorded for this publication.
No citations of this publication recorded.