Homer: A Higher−order Observational equivalence Model checkER
David Hopkins and Luke Ong
Details
| Journal |
CAV 09 |
| Year |
2009 |
Links
Related pages
|
People |
David Hopkins and Luke Ong
| Journal |
CAV 09 |
| Year |
2009 |
|
People |