Loading...
Images of Cristiano Santos Sousa
(0 from 0 )News
Corpo é encontrado enterrado na margem de rio no bairro Itaperi -...
www20.opovo.com.br
Um corpo foi encontrado enterrado na margem de um riacho em frente ao conjunto habitacional Jana Barroso, no bairro Itaperi, em Fortaleza, nesta segunda-feira,,
HASLAB SEMINAR: Formal Verification of kLIBC with the ...
haslab.uminho.pt
Talk by Cristiano Sousa (HASLab) @ DI A2. Abstract: This work presents our results in the formal verification of kLIBC, a minimalistic C library, ...
sorted by relevance / date