Sciweavers

TPHOL
2007
IEEE

Improving the Usability of HOL Through Controlled Automation Tactics

14 years 6 months ago
Improving the Usability of HOL Through Controlled Automation Tactics
Eunsuk Kang, Mark Aagaard
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where TPHOL
Authors Eunsuk Kang, Mark Aagaard
Comments (0)