Chris Hawblitzel


AuthID: R-00K-PFZ

Publicações a aguardar confirmação

1
TÍTULO: Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings
AUTORES: Chris Hawblitzel; Dale Miller;
PUBLICAÇÃO: 2012, FONTE: CPP, VOLUME: 7679
INDEXADO EM: DBLP

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service