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