Proof-carrying code

Bibtex entry :

@inproceedings {  necula97popl,
    author = { G.C. Necula },
    title = { Proof-carrying code },
    journal = { Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'97) },
    year = { 1997 },
}
/kunden/homepages/29/d146399201/htdocs/hodique.info/data/pages/bib/biblio.txt · Last modified: 2009/02/22 19:15 (external edit)
GNU Free Documentation License 1.2
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0