-
1Материалы конференции Опубликовано 1985“...IFIP WG 10.2 International Conference on Computer Hardware Description Languages...”
-
2Материалы конференции Опубликовано 1983“...IFIP WG 10.2 International Symposium on Computer Hardware Description Languages...”
-
3Материалы конференции Опубликовано 1981“...IFIP WG 10.2...”
-
4Материалы конференции Опубликовано 1990“...IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design...”
-
5Материалы конференции Опубликовано 1990“...IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design...”