Sciweavers

4763 search results - page 54 / 953
» On the Execution of Deep Models
Sort
View
HVC
2007
Springer
109views Hardware» more  HVC 2007»
14 years 2 months ago
Symbolic Execution and Model Checking for Testing
Corina S. Pasareanu, Willem Visser