skip to main content
Idioma:

Proof-Carrying Code with Untrusted Proof Rules

Necula, George C. ; Schneck, Robert R. Yonezawa, Akinori ; Okada, Mitsuhiro ; Tokuda, Hideyuki ; Pierce, Benjamin C. ; Scedrov, Andre

Lecture notes in computer science, 2003, p.283-298 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  5 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.