@inproceedings{Murase:2016:TVH:2837614.2837667,
    Address = {New York, NY, USA},
    Author = {Murase, Akihiro and Terauchi, Tachio and Kobayashi, Naoki and Sato, Ryosuke and Unno, Hiroshi},
    BookTitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    File = {Temporal Verification of Higher-order Functional Programs - Murase, Terauchi, Kobayashi, Sato, Unno (0) (0) - a - a - q.pdf},
    ISBN = {978-1-4503-3549-2},
    Keywords = {Automata-Theoretic Verification, Automatic Verification, Bi- nary Reachability Analysis, CEGAR, Higher- Order Programs, Temporal Properties},
    Location = {St. Petersburg, FL, USA},
    Pages = {57--68},
    Publisher = {ACM},
    Series = {POPL 2016},
    Title = {Temporal Verification of Higher-order Functional Programs},
    URL = {http://doi.acm.org/10.1145/2837614.2837667},
    Year = {2016},
    acmid = {2837667},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837667},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837667},
    date-added = {2016-01-20 09:28:39 +0000},
    date-modified = {2016-01-20 09:28:39 +0000},
    numpages = {12},
    doi = {10.1145/2837614.2837667}
}

@inproceedings{Murase:2016:TVH:2837614.2837667, Address = {New York, NY, USA}, Author = {Murase, Akihiro and Terauchi, Tachio and Kobayashi, Naoki and Sato, Ryosuke and Unno, Hiroshi}, BookTitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, File = {Temporal Verification of Higher-order Functional Programs - Murase, Terauchi, Kobayashi, Sato, Unno (0) (0) - a - a - q.pdf}, ISBN = {978-1-4503-3549-2}, Keywords = {Automata-Theoretic Verification, Automatic Verification, Bi- nary Reachability Analysis, CEGAR, Higher- Order Programs, Temporal Properties}, Location = {St. Petersburg, FL, USA}, Pages = {57--68}, Publisher = {ACM}, Series = {POPL 2016}, Title = {Temporal Verification of Higher-order Functional Programs}, URL = {http://doi.acm.org/10.1145/2837614.2837667}, Year = {2016}, acmid = {2837667}, bdsk-url-1 = {http://doi.acm.org/10.1145/2837614.2837667}, bdsk-url-2 = {http://dx.doi.org/10.1145/2837614.2837667}, date-added = {2016-01-20 09:28:39 +0000}, date-modified = {2016-01-20 09:28:39 +0000}, numpages = {12}, doi = {10.1145/2837614.2837667} }