狠狠撸

uminho msc formal methods research cryptol programming cryptography code mfes haskell compilers statistics languages static code analyzer linux formal specification beamer latex lip presentation network snort tool software static cesium aerospace and defense software testing language processing cssi ssi language security honeynet honeyd honeypot jmlunit code analyzer portugal processing snow3g paper formal methods analyzer caos pointfree calculador proof frama-c checking c++ splint tools cs cipher galois libpcap bash tecpdump vdmtools vdm ldap portugus jml tshark perl um universidade lei