1331 search results - page 267 / 267 » Description logic reasoning using the PTTP approach |
102
click to vote
TOPLAS
2008
14 years 10 months ago
2008
act Interpretation C. BERNARDESCHI, N. DE FRANCESCO, G. LETTIERI, L. MARTINI, and P. MASCI Universit`a di Pisa Bytecode verification is a key point in the security chain of the Jav...