受强制性开放获取政策约束的文章 - Tushar Sharma了解详情
可在其他位置公开访问的文章：2 篇
Sound bit-precise numerical domains
T Sharma, T Reps
International Conference on Verification, Model Checking, and Abstract …, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
A New Abstraction Framework for Affine Transformers
T Sharma, T Reps
TR-1846, Computer Science Department, University of Wisconsin, Madison, WI, 2017
强制性开放获取政策： US Department of Defense
出版信息和资助信息由计算机程序自动确定