×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [spec refinement]
Home >
spec refinement
Automatic Abstraction Refinement for GSTE Yan Chen, Yujing He, and Fei Xie Portland State University Jin Yang Intel Nov 13, 2007.
224 views
Automatic Abstraction Refinement for GSTE
26 views