@inproceedings{Sato:2013:TSS:2426890.2426900,
    Address = {New York, NY, USA},
    Author = {Sato, Ryosuke and Unno, Hiroshi and Kobayashi, Naoki},
    BookTitle = {Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation},
    File = {Towards a scalable software model checker for higher-order programs - Sato, Unno, Kobayashi (0) (0) - a - a - q.pdf},
    ISBN = {978-1-4503-1842-6},
    Keywords = {abstraction refinement, cps transformation, dependent types, higher-order model checking, predicate abstraction},
    Location = {Rome, Italy},
    Pages = {53--62},
    Publisher = {ACM},
    Series = {PEPM '13},
    Title = {Towards a scalable software model checker for higher-order programs},
    URL = {http://doi.acm.org/10.1145/2426890.2426900},
    Year = {2013},
    acmid = {2426900},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2426890.2426900},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2426890.2426900},
    date-added = {2013-04-16 15:32:27 +0000},
    date-modified = {2013-04-16 15:32:27 +0000},
    numpages = {10},
    doi = {10.1145/2426890.2426900}
}

@inproceedings{Sato:2013:TSS:2426890.2426900, Address = {New York, NY, USA}, Author = {Sato, Ryosuke and Unno, Hiroshi and Kobayashi, Naoki}, BookTitle = {Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation}, File = {Towards a scalable software model checker for higher-order programs - Sato, Unno, Kobayashi (0) (0) - a - a - q.pdf}, ISBN = {978-1-4503-1842-6}, Keywords = {abstraction refinement, cps transformation, dependent types, higher-order model checking, predicate abstraction}, Location = {Rome, Italy}, Pages = {53--62}, Publisher = {ACM}, Series = {PEPM '13}, Title = {Towards a scalable software model checker for higher-order programs}, URL = {http://doi.acm.org/10.1145/2426890.2426900}, Year = {2013}, acmid = {2426900}, bdsk-url-1 = {http://doi.acm.org/10.1145/2426890.2426900}, bdsk-url-2 = {http://dx.doi.org/10.1145/2426890.2426900}, date-added = {2013-04-16 15:32:27 +0000}, date-modified = {2013-04-16 15:32:27 +0000}, numpages = {10}, doi = {10.1145/2426890.2426900} }