-
1Actes de congresos LlibrePublicat 1985“…IFIP WG 10.2 International Conference on Computer Hardware Description Languages…”
-
2Actes de congresos LlibrePublicat 1983“…IFIP WG 10.2 International Symposium on Computer Hardware Description Languages…”
-
3Actes de congresos LlibrePublicat 1981“…IFIP WG 10.2…”
-
4Actes de congresos LlibrePublicat 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”
-
5Actes de congresos LlibrePublicat 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”