A programming model for concurrent object-oriented programs
Bart Jacobs, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte
48 págs.
43 págs.
Decomposing bytecode verification by abstract interpretation
C. Bernardeschi, N. De Franchesco, G. Lettieri, L. Martini, L. Masci
63 págs.
46 págs.
Verified interoperable implementations of security protocols
Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, S. Tse
57 págs.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados