Sciweavers

Scalable SMT-based verification of GPU kernel functions
Recent countries visiting this post
Scalable SMT-based verification of GPU kernel functions
us10United States
ru3Russian Federation