
Publication Overview
Computationally sound verification of source code
Published in: | ACM Conference on Computer and Communications Security |
---|---|
Year: | 2010 |
Pages: | 387-398 |
Published in: | ACM Conference on Computer and Communications Security |
---|---|
Year: | 2010 |
Pages: | 387-398 |