The top documents of ulisses-costa
Static Code Analyzer - Part II
687 views
Automatic Test Generation for Space
762 views
Specifying and Implementing SNOW3G with Cryptol
1.619 views
Correct sorting with Frama-C
6.053 views
Static Code Analyzer - Part IV
381 views
GD::Graph - Graph Plotting Module
3.415 views
Static Code Analyzer - Part III
402 views
Static Code Analyzer - Part I
404 views
Cryptol experience
671 views
Specification of SNOW 3G in Cryptol
3.681 views
Exploring the Cryptol Toolset
1.187 views
Splint the C code static checker
8.537 views
Linux Instalation Party
689 views
Uso de Honeypots com Honeyd
1.010 views
Calculador Pointfree
790 views
Workshop LaTeX
1.725 views
Automatic Test Generation for Space
1.522 views