Sciweavers

85
Voted
TPHOL
1994
IEEE

Automating Verification by Functional Abstraction at the System Level

15 years 12 days ago
Automating Verification by Functional Abstraction at the System Level
Klaus Schneider, Ramayya Kumar, Thomas Kropf
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1994
Where TPHOL
Authors Klaus Schneider, Ramayya Kumar, Thomas Kropf
Comments (0)