Masakazu Soshi, Mamoru Maekawa, Eiji Okamoto. The Dynamic-Typed Access Matrix Model and Decidability of the Safety Problem. IEICE Transactions, 87-A(1):190-203, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.