1992 | ||
---|---|---|
1 | Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, K. M. Hobley: FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. TPCD 1992: 197-223 |
1 | S. N. Aloneftis | [1] |
2 | S. M. Eker | [1] |
3 | Joseph A. Goguen | [1] |
4 | Victoria Stavridou | [1] |
5 | A. Stevens | [1] |