| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 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 |
Selection of 1 from 3 records - John Van Tassel has 6 coauthors
Copyright © 2009-12-31 by Michael Ley (ley@uni-trier.de)