ID:DA04622261
International Workshop on Applied Formal Methods for Correct VLSI Design, IFIP WG 10.2/WG 10.5
Workshop on Applied Formal Methods for Correct VLSI Design, IFIP WG 10.2/WG 10.5 International
Search authors sharing the same name
sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen
North-Holland , Distributed in the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 2
Available at 10 libraries
North-Holland , Distributed for the U.S. and Canada, Elsevier Science Pub. Co. 1990 VLSI Design methods v. 1
