Author:
Barbosa Manuel,Castro David,Silva Paulo F.
Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Lecture Notes in Computer Science;M. Barbosa,2012
2. Lecture Notes in Computer Science;M. Barbosa,2005
3. Barbosa, M., Pinto, J., Filliâtre, J.C., Vieira, B.: A deductive verification platform for cryptographic software. Electronic Communications of the EASST 33 (2010)
4. Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N., Zadeck, F.K.: Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Program. Lang. Syst (TOPLAS) 13(4), 451–490 (1991)
5. Lecture Notes in Computer Science;V.C. Sreedhar,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献