Skip to main content

Homer: A Higher−order Observational equivalence Model checkER

David Hopkins and Luke Ong

Journal
CAV 09
Year
2009