Sciweavers

PLDI
2011
ACM

Predicate abstraction and CEGAR for higher-order model checking

13 years 11 months ago
Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Added 17 Sep 2011
Updated 17 Sep 2011
Type Journal
Year 2011
Where PLDI
Authors Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Comments (0)