Homer: A Higher-Order Observational Equivalence Model checkER
David Hopkins and C. -H. Ong
2009
In CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification
Publisher Springer-Verlag
Details
| Type | Inproceedings |
| Pages | 654–660 |
| ISBN | 978-3-642-02657-7 |
Related Labs
Share
