Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [i.e. France], May 24-26, 1993 : proceedingshttps://catalogue-scientifique.canada.ca/record=1558692~S6*frcRechercher Milne, George J; Rechercher Pierre, LaurenceSpringer-Verlag, 1993Actes de conférence
The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988 (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : The fusion of hardware design and verification : proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, 4-6 July 1988https://catalogue-scientifique.canada.ca/record=1427537~S6*frcRechercher Milne, George JNorth-Holland, 1988Actes de conférence
Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K. (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Formal aspects of VLSI design : proceedings of the 1985 Edinburgh Workshop on VLSI, Edinburgh, Scotland, U.K.https://catalogue-scientifique.canada.ca/record=1337974~S6*frcRechercher Milne, George J; Rechercher Subrahmanyam, P. ANorth Holland, 1986Actes de conférence