Sciweavers

54
Voted
CAV
2005
Springer

The ComFoRT Reasoning Framework

15 years 2 months ago
The ComFoRT Reasoning Framework
Sagar Chaki, James Ivers, Natasha Sharygina, Kurt
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau
Comments (0)