1914 search results - page 1 / 383 » Verification by Abstract Interpretation |
152
Voted
TOPLAS
2008
15 years 3 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...
115
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
122
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
95
Voted
RTA
2004
Springer
15 years 9 months ago
2004
Springer
157
Voted
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
