Sciweavers

CAV
2005
Springer

Saturn: A SAT-Based Tool for Bug Detection

14 years 6 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)