Tom Melham: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Design and Verification of On-Chip Communication Protocols
Peter Böhm, Tom Melham
No. RR-08-05, Technical Report, OUCL. 2008.
Details
|
BibTeX
| Download (pdf) |
|
[2]
|
A Reflective Functional Language for Hardware Design and Theorem Proving
Jim Grundy, Tom Melham and John O'Leary
No. RR-03-16, Technical Report, Oxford University Computing Laboratory. October 2003.
Details
|
BibTeX
| Download (pdf) |
|
