Homer: A Higher-Order Observational Equivalence Model checkER

In  CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification

Publisher  Springer-Verlag

Details

TypeInproceedings
Pages654–660
ISBN978-3-642-02657-7
> Publications > Homer: A Higher-Order Observational Equivalence Model checkER