By dateBy titleBy typeBibtex
[1]
Homer: A Higher-order Observational equivalence Model checkER
David Hopkins and Luke Ong
CAV 09. 2009.
Details | BibTeX | Download (pdf)
