Sciweavers

Share
CAV
2005
Springer

Saturn: A SAT-Based Tool for Bug Detection

10 years 1 months ago
Saturn: A SAT-Based Tool for Bug Detection
Yichen Xie, Alexander Aiken
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Yichen Xie, Alexander Aiken
Comments (0)
books