Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
Canaima, Venezuela's Linux Distro Venezuela Ii
Second part of Venezuela open source experience, this time a short talk about Canaima, the linux debian distro for public entities .
From [email protected]