1992 | ||
---|---|---|
3 | Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel: Experience with Embedding Hardware Description Languages in HOL. TPCD 1992: 129-156 | |
2 | John Van Tassel: A Formalisation of the VHDL Simulation Cycle. TPHOLs 1992: 359-374 | |
1990 | ||
1 | EE | John Van Tassel, David Hemmendinger: Specifying and Automatically Generating Ada Tasks in Prolog. ACM Conference on Computer Science 1990: 121-127 |
1 | Richard J. Boulton | [3] |
2 | Andrew Gordon | [3] |
3 | Michael J. C. Gordon | [3] |
4 | John Harrison | [3] |
5 | David Hemmendinger | [1] |
6 | John Herbert | [3] |