Jo?O Gomes


AuthID: R-00H-3NJ

Publications Requiring Validation

1
TITLE: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTHORS: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0803.2317
INDEXED IN: DBLP arXiv

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service