Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Homer: A Higher-Order Observational Equivalence Model checkER

David Hopkins and C. -H. Ong

Details

Publication typeInproceedings
Published inCAV '09: Proceedings of the 21st International Conference on Computer Aided Verification
Pages654–660
ISBN978-3-642-02657-7
PublisherSpringer-Verlag
> Publications > Homer: A Higher-Order Observational Equivalence Model checkER