Communications of the ACM
Refine your search:
Leonardo da Vinci's Robot Lion
We are celebrating the 500th anniversary of Leonardo da Vinci's death with a major exhibition of the Renaissance painter's works…
From [email protected]
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]